Correspondence, canonicity, and model theory for monotonic modal logics

DOI10.1007/S11225-020-09911-4MaRDI QIDQ2021573zbMATH OpenOpenAlexFDO

Authors Kentarô Yamamoto

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

zbMATH Keywords

canonicityFine's theoremGoldblatt-Thomason theoremmodal logicneighborhood frames

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• A coalgebraic perspective on monotone modal logic
• Saturated neighbourhood models of monotonic modal logics
• Positive monotone modal logic
• A van Benthem/Rosen theorem for coalgebraic predicate logic
• Monotonic modal logics related to the von Wright's logic of place

Cites work

• A Neighbourhood Frame for T with No Equivalent Relational Frame
• A van Benthem/Rosen theorem for coalgebraic predicate logic
• Alternating-time temporal logic
• An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics
• Bounded lattice expansions
• Duality between modal algebras and neighbourhood frames
• scientific article; zbMATH DE number 3880483 (Why is no real title available?)
• scientific article; zbMATH DE number 3941494 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3494368 (Why is no real title available?)
• scientific article; zbMATH DE number 3508462 (Why is no real title available?)
• scientific article; zbMATH DE number 3433840 (Why is no real title available?)
• MacNeille completions and canonical extensions
• Modal languages for topology: expressivity and definability
• Modal logic
• Model Theory
• Model theory and proof theory of coalgebraic predicate logic
• Neighborhood semantics for modal logic
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Sahlqvist theory for impossible worlds
• The Goldblatt-Thomason Theorem for Coalgebras
• Topological model theory

Cited in

(5)

• Hypergraphs, local reasoning, and weakly aggregative modal logic
• scientific article; zbMATH DE number 2149469 (Why is no real title available?)
• scientific article; zbMATH DE number 7056226 (Why is no real title available?)
• Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics
• Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logic

This page was built for publication: Correspondence, canonicity, and model theory for monotonic modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2021573)