Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.592867
Title: On the relative succinctness of some modal logics
Author: Iliev, Petar
Awarding Body: University of Liverpool
Current Institution: University of Liverpool
Date of Award: 2013
Availability of Full Text:
Access through EThOS:
Access through Institution:
Abstract:
The aim of this thesis is to compare several extensions of multimodal logic in terms of their representational succinctness on different classes of models. Succinctness is a natural refinement on the notion of expressivity. Intuitively, given two logics L1 and L2, we say that L1 expresses more succinctly than L2 some properties of a class of models if the L1-formulae expressing the properties in question are significantly shorter than all the equivalent L2-formulae. The precise technical interpretation of "significantly shorter" depends on the case at hand and may mean "exponentially shorter", "nonelementary shorter", etc. This work was motivated by the question of whether public announcement logic (PAL) is exponentially more succinct than multimodal logic (ML) on the class S5 of Kripke models with underlying structures in which all relations are reflexive, symmetric, and transitive.
Supervisor: Van der Hoek, Wiebe; Wooldridge, Michael Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.592867  DOI: Not available
Share: