Products of modal logics and tensor products of modal algebras

DOI10.1016/J.JAL.2014.08.002MaRDI QIDQ472808zbMATH OpenOpenAlexFDO

Authors Valentin Shehtman, Dov Gabbay, Ilya Shapirovsky

Publication date 20 November 2014

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2014.08.002

zbMATH Keywords

filtrationfinite model propertylogical invariancemodal algebraproduct of modal logicstabular logictensor product

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combined logics (03B62) Other algebras related to logic (03G25)

Recommendations

• Products of modal logics, part 1
• Products of ‘transitive” modal logics
• scientific article; zbMATH DE number 1989655
• scientific article; zbMATH DE number 2024635
• Products of modal logics. III. Products of modal and temporal logics

Cites work

• A general filtration method for modal logics
• Encounters with A. Mostowski
• Handbook of modal logic
• scientific article; zbMATH DE number 3783206 (Why is no real title available?)
• scientific article; zbMATH DE number 1989655 (Why is no real title available?)
• scientific article; zbMATH DE number 1852920 (Why is no real title available?)
• Many-dimensional modal logics: theory and applications
• Products of modal logics, part 1
• Semantic analysis of tense logics

Cited in

(7)

• Product of partition logics, orthoalgebras, and automata
• Products, or how to create modal logics of high complexity
• scientific article; zbMATH DE number 18327 (Why is no real title available?)
• Complexity of products of modal logics
• scientific article; zbMATH DE number 1989655 (Why is no real title available?)
• scientific article; zbMATH DE number 2024635 (Why is no real title available?)
• scientific article; zbMATH DE number 2196593 (Why is no real title available?)

This page was built for publication: Products of modal logics and tensor products of modal algebras

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