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 , and give a sound and complete axiomatisation in some of these settings.
|Title of host publication||Advances in Modal Logic|
|Place of Publication||London|
|Publication status||Published - 2014|
|Event||10th Conference on Advances in Modal Logic - Groningen, Netherlands|
Duration: 5 Aug 2014 → 8 Aug 2014
|Conference||10th Conference on Advances in Modal Logic|
|Period||5/08/14 → 8/08/14|