Properties of saturation in monotonic neighbourhood models and some applications

DOI10.1007/S11225-014-9590-ZzbMATH Open1382.03041OpenAlexW2057653216MaRDI QIDQ495833FDOQ495833

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

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

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)

Cites Work

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

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)