• Corpus ID: 116907318

Monotonic modal logics

  title={Monotonic modal logics},
  author={Helle Hvid Hansen and Clemens Kupke and E. Pacuit},
Monotonic modal logics form a generalisation of normal modal logics in which the additivity of the diamond modality has been weakened to monotonicity: 3p∨3q → 3(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… 
Sahlqvist theory for impossible worlds
Unified correspondence theory is extended to Kripke frames with impossible worlds and their associated regular modal logics and it is shown that additivity and multiplicativity turn out to be key to extend Jonsson’s original proof of canonicity to the full Sahlqvist class of certain regular distributives naturally generalizing distributive modal logic.
Countermodels for non-normal modal logics via nested sequents ∗
The main idea is that the neighbourhood semantics of non-normal monotone modal logics naturally gives rise to a second modality, which conveniently is normal, which is proposed as a nested sequent calculus for its bimodal version.
Uniform Interpolation for Monotone Modal Logic
It is proved that the standard modal language and the r -based one are effectively equi-expressive, meaning that there are effective translations in both directions.
AGM Belief Revision in Monotone Modal Logics
Classical modal logics, based on the neighborhood semantics of Scott and Montague, provide a generalization of the familiar normal systems based on Kripke semantics. This paper defines AGM revision
Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics
This work provides sufficient conditions for tractability in a general way by considering unlabeled tableau rules for a given modal logic by working in the framework of coalgebraic logic as a unifying semantic setting.
Survey of Modal Logics
This Chapter provides a necessary background for studying applications of ND in modal logics. It is a collection of basic facts needed for understanding of the remaining chapters. Section 5.1.
A bimodal perspective on possibility semantics
This paper defines a full and faithful translation of the basic modal logic K over possibility models into a bimodal logic of partial functions over partial orders, and shows how to modulate this analysis by varying across logics and model classes that have independent topological motivations.
Neighbourhood Structures: Bisimilarity and Basic Model Theory
An analogue of Van Benthem's characterisation theorem and a model-theoretic proof of Craig interpolation for classical modal logic are proved and a notion of modal saturation for neighbourhood models is introduced, and its relationship with denability and image-niteness is investigated.
Correspondence and canonicity in non-classical logic
In this thesis we study correspondence and canonicity for non-classical logic using algebraic and order-topological methods. Correspondence theory is aimed at answering the question of how precisely
Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics
This paper investigates the phenomenon of logic-sensitivity of Aristotelian diagrams for non-normal systems of modal logic (based on neighborhood semantics, a topologically inspired generalization of relational semantics), and discusses more subtle examples of Aristosian diagrams, which are not sensitive with respect to normal modal logics, but which nevertheless turn out to be highly logic-sensitive once the authors turn to non- normal systems ofmodal logic.


Algebraic Semantics for Quasi-Classical Modal Logics
The algebraic approach made available some general results from Universal Algebra, notably those obtained by Jonsson, and thereby was able to contribute new insights in the realm of normal modal logics, but to quasi-classical modallogics in general is generalized.
The Inadequacy of the Neighbourhood Semantics for Modal Logic
We present two finitely axiomatized modal propositional logics, one between T and S 4 and the other an extension of S 4, which are incomplete with respect to the neighbourhood or Scott-Montague
Modal logic with names
Every ℒc-logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete and strong completeness of the normal ℓc- logics is proved with respect to models in which all worlds are named.
Coalgebras and Modal Logic
Categories of Frames for Modal Logic
The category theory a reader needs to know is in the first twenty pages of [7], and the proofs of duality involve some rather detailed calculations, which have been omitted.
Reduction of Tense Logic to Modal Logic. I
It will be shown that propositional tense logic (with the Kripke relational semantics) may be regarded as a fragment of propositional modal logic (again with the Kripke semantics). This paper deals
Using the Universal Modality: Gains and Questions
The universal modality is advertised as a natural and helpful tool, providing a better medium for the mission of modality; and second, to illustrate the typical problems arising when enricha ments of modal languages are investigated.
Interpolation and Amalgamation; Pushing the Limits. Part I
It is proved that the characterization of interpolability can be extended to all algebraizable logics containing Boolean fragment and having a certain kind of local deduction property and to arbitrary logics under the condition that their algebraic counterparts are discriminator varieties.