Modal logic
Reasoning about Information Change
Journal of Logic, Language and Information
Automata for the Modal mu-Calculus and related Results
MFCS '95 Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Dynamic Epistemic Logic
Simulation and Information: Quantifying over Epistemic Events
Knowledge Representation for Agents and Multi-Agent Systems
Refinement Quantified Logics of Knowledge
Electronic Notes in Theoretical Computer Science (ENTCS)
The complexity of one-agent refinement modal logic
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
| Hi-index | 0.00 |
We present a method for synthesising action models that result in a given post-condition when executed on any Kripke model. Action models represent social actions that affect the knowledge or beliefs of agents in multi-agent systems. In the consideration of action model synthesis, we introduce an extension of the action model logic of Bal tag, Moss and Solecki with an action model quantifier, φ which stands for "there is an action model that results in the post-condition φ. We show that this quantifier is equivalent to the refinement quantifier of van Ditmarsch and French, and provide a sound and complete axiomatisation for the resulting logic, along with decidability and expressivity results.