Talk "Towards the Coalgebraic Guarded Fragment "

by Lutz Schröder

Sun, 04 September 2011 at 09:00 am in Winchester, United Kingdom

Joint work with: Daniel Gorín

Abstract: The guarded fragment of first-order logic is in many respects closely related to modal logic in terms of model properties, expressivity, and complexity. We show that the binary guarded fragment is equivalent to a natural extension of the DL ALCHIO which provides additional expressive means for talking about the prestate. We then generalize some of the features relating to the prestate to the coalgebraic setting, and speculate on coalgebraic correspondents for the remaining features.