Labelled calculi for lattice-based modal logics

DOI10.1007/978-3-031-26689-8_3MaRDI QIDQ6132565zbMATH OpenFDO

Authors Ineke van der Berg, Andrea de Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano

Publication date 17 August 2023

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-26689-8_3

zbMATH Keywords

non-distributive modal logiclabelled calculialgorithmic correspondence theoryalgorithmic proof theory

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03Bxx)

Recommendations

• Labelled calculi for the logics of rough concepts
• Labelled sequent calculi for Lewis' non-normal propositional modal logics
• Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity
• Labeled sequent calculi for modal logics and implicit contractions
• Proof analysis in non-classical logics

Cites work

• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 877297 (Why is no real title available?)
• Algorithmic correspondence and analytic rules
• Algorithmic correspondence and canonicity for distributive modal logic
• Algorithmic correspondence and canonicity for non-distributive logics
• Bounded lattice expansions
• Canonical extensions and relational completeness of some substructural logics
• Categories: how I learned to stop worrying and love two sorts
• Displaying modal logic
• Handbook of philosophical logic. Vol. 6
• Labelled calculi for the logics of rough concepts
• Multi-type display calculus for dynamic epistemic logic
• Non-distributive logics: from semantics to meaning
• Proof analysis in intermediate logics
• Proof analysis in modal logic
• Rough concepts
• Rough sets
• Syntactic Completeness of Proper Display Calculi
• Toward an epistemic-logical theory of categorization
• Unified correspondence
• Unified correspondence as a proof-theoretic tool

Cited in

(6)

• Labelled calculi for the logics of rough concepts
• scientific article; zbMATH DE number 5046779 (Why is no real title available?)
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• Labelled calculi for quantified modal logics with definite descriptions
• Monotone modal logic beyond distributivity
• Modal reduction principles: a parametric shift to graphs

This page was built for publication: Labelled calculi for lattice-based modal logics

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