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

Preview 
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 