Modal and temporal extensions of non-distributive propositional logics

DOI10.1093/jigpal/jzv051zbMath1405.03051OpenAlexW2306660731MaRDI QIDQ4644536

Chrysafis Hartonas

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

zbMATH Keywords

modal logicrepresentation theorysubstructural logicsnon-classical logictemporal logics

Mathematics Subject Classification ID

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