Dynamic epistemic logic with topological semantics.

Shunan He Jiahong Guo

Published in: ICSAI (2016)

Keyphrases

epistemic logic
dynamic epistemic logic
modal logic
formal semantics
model checking
multi agent systems
logical framework
inference rules
multi faceted
cooperative
natural language
logic programming
temporal logic
model checker