Modal and temporal extensions of non-distributive propositional logics
From MaRDI portal
Publication:4644536
DOI10.1093/jigpal/jzv051zbMath1405.03051OpenAlexW2306660731MaRDI QIDQ4644536
Publication date: 8 January 2019
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzv051
Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
Canonical extensions and Kripke-Galois semantics for non-distributive logics, Sequent systems for negative modalities, First-order frames for orthomodular quantum logic, Order-dual relational semantics for non-distributive propositional logics: a general framework, Lattice logic as a fragment of (2-sorted) residuated modal logic, Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems, Algorithmic correspondence and canonicity for non-distributive logics, Non-distributive relatives of ETL and NFL, Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi