A composable language for action models

Tim French, J. Hales, E. Tay

    Research output: Chapter in Book/Conference paperConference paperpeer-review

    10 Citations (Scopus)

    Abstract

    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 [8,7] embeds the semantic structure of an action model directly within the lan- guage, this paper introduces a language that represents action models using syntactic operators inspired by relational actions [11,12,13]. This language admits an intu- itive description of the action models it represents, and we show in several settings that it is suficient to represent any action model up to a given modal depth and to represent the results of action model synthesis [18], and give a sound and complete axiomatisation in some of these settings.
    Original languageEnglish
    Title of host publicationAdvances in Modal Logic
    Place of PublicationLondon
    PublisherCollege Publications
    Pages197-216
    Volume10
    ISBN (Print)9781848901513
    Publication statusPublished - 2014
    Event10th Conference on Advances in Modal Logic - Groningen, Netherlands
    Duration: 5 Aug 20148 Aug 2014

    Conference

    Conference10th Conference on Advances in Modal Logic
    Country/TerritoryNetherlands
    CityGroningen
    Period5/08/148/08/14

    Fingerprint

    Dive into the research topics of 'A composable language for action models'. Together they form a unique fingerprint.

    Cite this