Products of modal logics and tensor products of modal algebras

DOI10.1016/J.JAL.2014.08.002zbMATH Open1345.03038OpenAlexW2048191757MaRDI QIDQ472808FDOQ472808

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

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

zbMATH Keywords

tensor productfiltrationtabular logicfinite model propertylogical invariancemodal algebraproduct of modal logics

Mathematics Subject Classification ID

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

Cites Work

• Many-dimensional modal logics: theory and applications
• Title not available (Why is that?)
• Semantic analysis of tense logics
• Handbook of modal logic
• Title not available (Why is that?)
• Products of modal logics, part 1
• A general filtration method for modal logics
• Encounters with A. Mostowski
• Title not available (Why is that?)

Cited In (7)

• Title not available (Why is that?)
• Complexity of products of modal logics
• Title not available (Why is that?)
• Products, or how to create modal logics of high complexity
• Title not available (Why is that?)
• Product of partition logics, orthoalgebras, and automata
• Title not available (Why is that?)

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)