Modal logics with intersection modality

DOI10.1134/S1064562425700024MaRDI QIDQ6876359zbMATH OpenFDO

Authors Evgeni E. Zolin

Publication date 13 January 2026

Published in Doklady Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/S1064562425700024

zbMATH Keywords

Horn closureintersection modalityKripke completenessmodal logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) General logic (03Bxx) Theory of computing (68Qxx)

Cites work

• A completeness proof for an infinitary tense-logic
• A model existence theorem in infinitary propositional modal logic
• An elementary proof of the completeness of PDL
• Handbook of epistemic logic
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3869303 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• Modal logics with transitive closure: completeness, decidability, filtration
• Quantification in nonclassical logic. Volume I.
• Using the Universal Modality: Gains and Questions

This page was built for publication: Modal logics with intersection modality

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