Correspondence, canonicity, and model theory for monotonic modal logics
From MaRDI portal
Publication:2021573
DOI10.1007/s11225-020-09911-4OpenAlexW3037160607MaRDI QIDQ2021573
Publication date: 27 April 2021
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1904.12997
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modal languages for topology: expressivity and definability
- Topological model theory
- An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics
- Duality between modal algebras and neighbourhood frames
- Neighborhood semantics for modal logic
- A Van Benthem/Rosen theorem for coalgebraic predicate logic
- Sahlqvist theory for impossible worlds
- Alternating-time temporal logic
- The Goldblatt-Thomason Theorem for Coalgebras
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- A Neighbourhood Frame for T with No Equivalent Relational Frame
- Model Theory
- MacNeille completions and canonical extensions
- Bounded lattice expansions
