Modal and temporal extensions of non-distributive propositional logics

DOI10.1093/JIGPAL/JZV051zbMATH Open1405.03051OpenAlexW2306660731MaRDI QIDQ4644536FDOQ4644536

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

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

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)

Cited In (14)

• Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
• Title not available (Why is that?)
• Canonical extensions and Kripke-Galois semantics for non-distributive logics
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• Title not available (Why is that?)
• Non-distributive relatives of ETL and NFL
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)