Epistemic Logic Programs with World View Constraints.

Patrick Thor Kahl Anthony P. Leclerc

Published in: ICLP (Technical Communications) (2018)

Keyphrases

epistemic logic
modal logic
model checking
logical framework
multi agent systems
formal semantics
temporal logic
inference rules
dynamic epistemic logic
computation tree logic
decision problems
formal specification