On Ivlev's semantics for modality
type: Item
instance of: scholarly article
title: On Ivlev's semantics for modality
DOI: 10.1007/978-3-031-56595-3_9
author: Hitoshi Omori
author: Daniel Skurt
publication date: 2024-10-24T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 7931592
MaRDI profile type: Publication
cites work: A non-deterministic view on non-classical negations
cites work: Q3112289
cites work: Multi-valued Calculi for Logics Based on Non-determinism
cites work: Non-deterministic Multiple-valued Structures
cites work: A completeness-proof method for extensions of the implicational fragment of the propositional calculus
cites work: Q4487295
cites work: Q3206928
cites work: Q3018991
cites work: Logics of Formal Inconsistency
cites work: Q4440555
cites work: Q5173186
cites work: Finite non-deterministic semantics for some modal systems
cites work: A semantical analysis of the calculi \(C_n\)
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: On non-deterministic quantification
cites work: On Łukasiewicz's four-valued modal logic
cites work: Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics
cites work: Q4303543
cites work: Paraconsistent double negations as classical and intuitionistic negations
cites work: Logics and falsifications. A new perspective on constructivist semantics
cites work: Modal semantics without possible worlds
cites work: HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
cites work: Q5823282
cites work: Some embedding theorems for modal logic
cites work: A warning about the choice of primitive operators in modal logic
cites work: A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
cites work: Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
cites work: An interpretation of Łukasiewicz's 4-valued modal logic
cites work: Routley star and hyperintensionality
cites work: A Note on Ciuciura’s mbC1
cites work: From logics of formal inconsistency to logics of formal classicality
cites work: Q5104722
cites work: ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION
cites work: Q3518425
cites work: Quasi-truth-functional systems of propositional logic
cites work: A Henkin-style completeness proof for the pure implicational calculus
cites work: Q4068699
cites work: On Lukasiewicz's \(L\)-modal system
cites work: Proof theory for functional modal logic
cites work: Bemerkungen Zur Semantik Nicht‐Normaler Möglicher Welten
cites work: The logic of information structures
description: scientific article; zbMATH DE number 7931592