On Ivlev's semantics for modality
From MaRDI portal
Cites work
- A completeness-proof method for extensions of the implicational fragment of the propositional calculus
- A Henkin-style completeness proof for the pure implicational calculus
- A new four-valued approach to modal logic
- A non-deterministic view on non-classical negations
- A note on Ciuciura's \(\mathbf{mbC}^1\)
- A semantical analysis of the calculi \(C_n\)
- A semantics for a failed axiomatization of \textsf{K}
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
- A warning about the choice of primitive operators in modal logic
- An interpretation of Łukasiewicz's 4-valued modal logic
- An introduction to non-classical logic. From if to is
- Bemerkungen Zur Semantik Nicht‐Normaler Möglicher Welten
- Finite non-deterministic semantics for some modal systems
- From logics of formal inconsistency to logics of formal classicality
- scientific article; zbMATH DE number 5997431 (Why is no real title available?)
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 3485746 (Why is no real title available?)
- scientific article; zbMATH DE number 625207 (Why is no real title available?)
- scientific article; zbMATH DE number 2019859 (Why is no real title available?)
- scientific article; zbMATH DE number 1463147 (Why is no real title available?)
- scientific article; zbMATH DE number 3084370 (Why is no real title available?)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Intuitive semantics for first-degree entailments and `coupled trees'
- Logics and falsifications. A new perspective on constructivist semantics
- Logics of formal inconsistency
- Modal semantics without possible worlds
- Multi-valued Calculi for Logics Based on Non-determinism
- Non-deterministic Multiple-valued Structures
- On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
- On Lukasiewicz's L-modal system
- On non-deterministic quantification
- On Łukasiewicz's four-valued modal logic
- Paraconsistent double negations as classical and intuitionistic negations
- Paraconsistent heap. A hierarchy of \(\mathrm{mbC}^{n}\)-systems
- Proof theory for functional modal logic
- Quasi-truth-functional systems of propositional logic
- Routley star and hyperintensionality
- Some embedding theorems for modal logic
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
- The logic of information structures
- Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics
Cited in
(6)- A modal axiomatization of \(\mathbf{BK}\)
- Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
- RNmatrices for modal logics
- Modal logics -- RNmatrices vs. Nmatrices
- The finite frame property of some extensions of the pure logic of necessitation
- Boolean and modal connectives as primitives in non-deterministic semantics
This page was built for publication: On Ivlev's semantics for modality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6623952)
