Frames for fusions of modal logics

DOI10.1080/11663081.2018.1448635MaRDI QIDQ5375871zbMATH OpenOpenAlexFDO

Authors Sławomir Kost

Publication date 17 September 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2018.1448635

zbMATH Keywords

multimodal logicfusion of modal logics

Mathematics Subject Classification ID

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

Recommendations

• Fusion of sequent modal logic systems labelled with truth values
• Topological-frame products of modal logics
• Matching topological and frame products of modal logics
• scientific article; zbMATH DE number 7599937
• Modal logic of some products of neighborhood frames

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 1219632 (Why is no real title available?)
• scientific article; zbMATH DE number 1222489 (Why is no real title available?)
• scientific article; zbMATH DE number 6290331 (Why is no real title available?)
• Logics containing K4. Part I
• Many-dimensional modal logics: theory and applications
• Modal logic of some products of neighborhood frames
• Properties of independently axiomatizable bimodal logics

Cited in

(6)

• Formalizing action and change in modal logic I: the frame problem
• A general framework for FDE-based modal logics
• Fusion of sequent modal logic systems labelled with truth values
• Frame constructions, truth invariance and validity preservation in many-valued modal logic
• Truth-preserving operations on sums of Kripke frames
• From Frame Properties to Hypersequent Rules in Modal Logics

This page was built for publication: Frames for fusions of modal logics

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