2014/06/09 by Tim French, French, Tim, James Hales +3
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies #cs.LO
paper · pdf · doi:10.48550/arxiv.1406.2103
Extended version of a paper to appear in the 10th International Conference on Advances in Modal Logic (AiML)
arxiv created 2014/06/09 · openalex publication_date 2014/06/09 · arxiv updated 2014/06/10 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29
Action models are semantic structures similar to Kripke models that represent a change in knowledge in an epistemic setting. Whereas the language of action model logic embeds the semantic structure of an action model directly within the language, this paper introduces a language that represents action models using syntactic operators inspired by relational actions. This language admits an intuitive description of the action models it represents, and we show in several settings that it is sufficient to represent any action model up to a given modal depth and to represent the results of action model synthesis, and give a sound and complete axiomatisation in some of these settings.