Properties of saturation in monotonic neighbourhood models and some applications

DOI10.1007/S11225-014-9590-ZMaRDI QIDQ495833zbMATH OpenOpenAlexFDO

Authors Sergio A. Celani

Publication date 15 September 2015

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-014-9590-z

zbMATH Keywords

\(m\)-saturated modelsKripke \(m\)-saturated modelsmaximal Hennessy-Milner classes of monotonic modelsmonotonic modal logicmonotonic neighbourhood frames and models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10)

Recommendations

• Saturated neighbourhood models of monotonic modal logics
• Saturated models
• Saturated models in institutions
• On characterization, definability and \(\omega \)-saturated models
• Neighborhood semantics for modal logic

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• scientific article; zbMATH DE number 757640 (Why is no real title available?)
• A coalgebraic perspective on monotone modal logic
• Axiomatic classes of intuitionistic models
• Modal logic
• Monotonic modal logics related to the von Wright's logic of place
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• On modal logic of deductive closure
• Saturated neighbourhood models of monotonic modal logics
• Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator
• Topologies on Spaces of Subsets

Cited in

(1)

• Saturated neighbourhood models of monotonic modal logics

This page was built for publication: Properties of saturation in monotonic neighbourhood models and some applications

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