Labelled calculi for lattice-based modal logics
From MaRDI portal
Publication:6132565
DOI10.1007/978-3-031-26689-8_3MaRDI QIDQ6132565FDOQ6132565
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)
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
non-distributive modal logiclabelled calculialgorithmic correspondence theoryalgorithmic proof theory
Cites Work
- Rough sets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Canonical extensions and relational completeness of some substructural logics
- Bounded lattice expansions
- Proof analysis in modal logic
- Proof analysis in intermediate logics
- Displaying modal logic
- Handbook of philosophical logic. Vol. 6
- Algorithmic correspondence and canonicity for distributive modal logic
- Unified correspondence
- Toward an epistemic-logical theory of categorization
- Unified correspondence as a proof-theoretic tool
- Syntactic Completeness of Proper Display Calculi
- Algorithmic correspondence and canonicity for non-distributive logics
- Non-distributive logics: from semantics to meaning
- Categories: how I learned to stop worrying and love two sorts
- Multi-type display calculus for dynamic epistemic logic
- Labelled calculi for the logics of rough concepts
- Rough concepts
- Algorithmic correspondence and analytic rules
Cited In (4)
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)
