Collaborated with:
N.Alechina
Talks about:
syntact
(1)
epistem
(1)
semant
(1)
logic
(1)
dynam
(1)
Person:
Thomas Ågotnes
DBLP: =Aring=gotnes:Thomas
Contributed to:
2006
Wrote 1 papers:
KR-2006-AgotnesA
#logic
#semantics
Semantics for Dynamic Syntactic Epistemic Logics (
TÅ
,
NA
), pp. 411–419.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.