Modalities in the Realm of Questions: Axiomatizing Inquisitive Epistemic Logic.

Ivano Ciardelli

Published in: Advances in Modal Logic (2014)

Keyphrases

epistemic logic
model checking
modal logic
dynamic epistemic logic
multi agent systems
inference rules
logical framework
formal semantics
multi faceted
mathematical theory
computation tree logic
model checker
cooperative
software engineering
temporal logic