Monotone modal logic beyond distributivity

DOI10.1007/978-3-031-89610-1_8MaRDI QIDQ6889857zbMATH OpenFDO

Authors Yi Wen Ding, Krishna Manoorkar, Alessandra Palmigiano

Publication date 4 December 2025

Full work available at URL https://doi.org/10.1007/978-3-031-89610-1_8

zbMATH Keywords

lattice-based modal logicmonotone modal logicneighborhood semanticspolarity-based semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites work

• A coalgebraic perspective on monotone modal logic
• Algebraic proof theory for LE-logics
• Algorithmic correspondence and canonicity for non-distributive logics
• Basic conditional logic
• Bounded lattice expansions
• Categories: how I learned to stop worrying and love two sorts
• Constructive canonicity of inductive inequalities
• Dual characterizations for finite lattices via correspondence theory for monotone modal logic
• scientific article; zbMATH DE number 4181308 (Why is no real title available?)
• scientific article; zbMATH DE number 3880483 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3708349 (Why is no real title available?)
• scientific article; zbMATH DE number 970636 (Why is no real title available?)
• Labelled calculi for lattice-based modal logics
• Labelled calculi for the logics of rough concepts
• Neighborhood semantics for modal logic
• New foundations for Lewis modal systems
• Non normal logics: semantic analysis and proof theory
• Non-distributive logics: from semantics to meaning
• Positive monotone modal logic
• Rough concepts
• Slanted canonicity of analytic inductive inequalities
• Toward an epistemic-logical theory of categorization

This page was built for publication: Monotone modal logic beyond distributivity

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