Modal and temporal extensions of non-distributive propositional logics

DOI10.1093/JIGPAL/JZV051MaRDI QIDQ4644536zbMATH OpenOpenAlexFDO

Authors Chrysafis Hartonas

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzv051

zbMATH Keywords

modal logicrepresentation theorysubstructural logicsnon-classical logictemporal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Temporal logic (03B44)

Recommendations

• Canonical extensions and Kripke-Galois semantics for non-distributive logics
• Order-dual relational semantics for non-distributive propositional logics
• scientific article; zbMATH DE number 7723711
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II
• Order-dual relational semantics for non-distributive propositional logics: a general framework

Cited in

(14)

• scientific article; zbMATH DE number 2079263 (Why is no real title available?)
• Canonical extensions and Kripke-Galois semantics for non-distributive logics
• Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• Non-distributive relatives of ETL and NFL
• scientific article; zbMATH DE number 6863639 (Why is no real title available?)
• scientific article; zbMATH DE number 1927555 (Why is no real title available?)
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
• Sequent systems for negative modalities
• Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
• scientific article; zbMATH DE number 1538010 (Why is no real title available?)
• First-order frames for orthomodular quantum logic
• Algorithmic correspondence and canonicity for non-distributive logics

This page was built for publication: Modal and temporal extensions of non-distributive propositional logics

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