Modal logics over lattices

DOI10.1016/J.APAL.2025.103553MaRDI QIDQ7032977zbMATH OpenFDO

Authors Xiaoyang Wang, Yanjing Wang

Publication date 4 February 2025

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2025.103553

zbMATH Keywords

completenesshybrid logiclatticespolyadic modal logicstep by steptense logic

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45)

Cites work

• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 4135922 (Why is no real title available?)
• scientific article; zbMATH DE number 1222488 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• scientific article; zbMATH DE number 3103212 (Why is no real title available?)
• Implicit and explicit stances in logic
• MEREOLOGICAL BIMODAL LOGICS
• Modal information logics: axiomatizations and decidability
• Modal structures in groups and vector spaces
• Nominal tense logic
• On the modal logic of subset and superset: tense logic over Medvedev frames
• POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
• Set-theoretic mereology
• Systems of logic whose truth-values form lattices
• Tense logics over lattices
• The lattice of modal logics: an algebraic investigation
• The McKinsey-Lemmon logic is barely canonical
• Truth-maker semantics for intuitionistic logic

Cited in

(1)

• Axiomatization and decidability of tense information logic

This page was built for publication: Modal logics over lattices

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