Semantics for Dynamic Syntactic Epistemic Logics.

Thomas Ågotnes Natasha Alechina

Published in: KR (2006)

Keyphrases

epistemic logic
propositional dynamic logic
modal operators
modal logic
conditional logic
natural language
model checking
expressive power
proof theory
dynamic environments
dynamic epistemic logic
computational properties
nonmonotonic logics
logic program updates
proof theoretic
belief revision
logic programming