BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × France
Collaborated with:
T.Ågotnes M.Dastani B.Logan J.C.Meyer M.Mendler V.d.Paiva E.Ritter
Talks about:
semant (2) logic (2) construct (1) syntact (1) epistem (1) deliber (1) categor (1) reason (1) modal (1) kripk (1)

Person: Natasha Alechina

DBLP DBLP: Alechina:Natasha

Contributed to:

KR 20082008
KR 20062006
CSL 20012001

Wrote 3 papers:

KR-2008-AlechinaDLM #reasoning
Reasoning about Agent Deliberation (NA, MD, BL, JJCM), pp. 16–26.
KR-2006-AgotnesA #logic #semantics
Semantics for Dynamic Syntactic Epistemic Logics (, NA), pp. 411–419.
CSL-2001-AlechinaMPR #category theory #logic #semantics
Categorical and Kripke Semantics for Constructive S4 Modal Logic (NA, MM, VdP, ER), pp. 292–307.

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.