Properties of saturation in monotonic neighbourhood models and some applications

DOI10.1007/s11225-014-9590-zzbMath1382.03041OpenAlexW2057653216MaRDI QIDQ495833

Sergio Arturo 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)

Cites Work

• Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator
• On modal logic of deductive closure
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Topologies on Spaces of Subsets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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