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 language | English |
---|---|
Title of host publication | Advances in Modal Logic |
Place of Publication | London |
Publisher | College Publications |
Pages | 197-216 |
Volume | 10 |
ISBN (Print) | 9781848901513 |
Publication status | Published - 2014 |
Event | 10th Conference on Advances in Modal Logic - Groningen, Netherlands Duration: 5 Aug 2014 → 8 Aug 2014 |
Conference
Conference | 10th Conference on Advances in Modal Logic |
---|---|
Country/Territory | Netherlands |
City | Groningen |
Period | 5/08/14 → 8/08/14 |