On Ivlev's semantics for modality
From MaRDI portal
Publication:6623952
DOI10.1007/978-3-031-56595-3_9MaRDI QIDQ6623952
Publication date: 24 October 2024
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An interpretation of Łukasiewicz's 4-valued modal logic
- A non-deterministic view on non-classical negations
- Routley star and hyperintensionality
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
- On Lukasiewicz's \(L\)-modal system
- 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 semantical analysis of the calculi \(C_n\)
- The logic of information structures
- On Łukasiewicz's four-valued modal logic
- Paraconsistent double negations as classical and intuitionistic negations
- Proof theory for functional modal logic
- Intuitive semantics for first-degree entailments and `coupled trees'
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
- On non-deterministic quantification
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Logics and falsifications. A new perspective on constructivist semantics
- Some embedding theorems for modal logic
- A warning about the choice of primitive operators in modal logic
- Non-deterministic Multiple-valued Structures
- Quasi-truth-functional systems of propositional logic
- From logics of formal inconsistency to logics of formal classicality
- Modal semantics without possible worlds
- ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION
- Finite non-deterministic semantics for some modal systems
- Bemerkungen Zur Semantik Nicht‐Normaler Möglicher Welten
- Logics of Formal Inconsistency
- Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics
- A Note on Ciuciura’s mbC1
- Multi-valued Calculi for Logics Based on Non-determinism
This page was built for publication: On Ivlev's semantics for modality
