Frames for fusions of modal logics
From MaRDI portal
Publication:5375871
DOI10.1080/11663081.2018.1448635zbMATH Open1436.03134OpenAlexW2792883623MaRDI QIDQ5375871FDOQ5375871
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
Recommendations
Cites Work
- Many-dimensional modal logics: theory and applications
- Title not available (Why is that?)
- Properties of independently axiomatizable bimodal logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logics containing K4. Part I
- Modal logic of some products of neighborhood frames
- Title not available (Why is that?)
Cited In (6)
- Formalizing action and change in modal logic I: the frame problem
- Fusion of sequent modal logic systems labelled with truth values
- Truth-preserving operations on sums of Kripke frames
- A general framework for FDE-based modal logics
- From Frame Properties to Hypersequent Rules in Modal Logics
- Frame constructions, truth invariance and validity preservation in many-valued modal logic
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)