PP200324: Hansen, Helle Hvid (2003) Monotonic Modal Logics. [Report]
Text (Full Text (PS))
PP200324.text.ps.gz Download (399kB) 


Text (Full Text (PDF))
PP200324.text.pdf Download (831kB)  Preview 

Text (Abstract)
PP200324.abstract.txt Download (1kB) 
Abstract
Monotonic modal logics form a generalisation of normal modal logics in which the additivity of the diamond modality has been weakened to monotonicity: <>p \/ <>q > <>(p \/ q). This generalisation means that Kripke structures no longer form an adequate semantics. Instead monotonic modal logics are interpreted over monotonic neighbourhood structures, that is, neighbourhood structures where the neighbourhood function is closed under supersets. As specific examples of monotonic modal logics we mention Game Logic, Coalition Logic and the AlternatingTime Temporal Logic. This thesis presents results on monotonic modal logics in a general framework. The topics covered include model constructions and truth invariance, definability and correspondence theory, the canonical model construction, algebraic duality (for monotonic neighbourhood frames), coalgebraic semantics, Craig interpolation via superamalgamation, and simulations of monotonic modal logics by bimodal normal ones. The main contributions are: generalisations of the Sahlqvist correspondence and canonicity theorems, a detailed account of algebraic duality via canonical extensions, an analogue of the GoldblattThomason theorem on definable frame classes, results on the relationship between bisimulation and coalgebraic notions of structural equivalence, Craig interpolation results, and a simulation construction which preserves descriptiveness of general frames.
Item Type:  Report 

Report Nr:  PP200324 
Series Name:  Prepublication (PP) Series 
Year:  2003 
Uncontrolled Keywords:  Nonnormal modal logic, neighbourhood semantics, definability, correspondence theory, algebraic duality, coalgebra, Craig interpolation, simulation. 
Subjects:  Logic 
Date Deposited:  12 Oct 2016 14:36 
Last Modified:  12 Oct 2016 14:36 
URI:  https://eprints.illc.uva.nl/id/eprint/108 
Actions (login required)
View Item 