Cover Image

Modal weak Kleene logics: axiomatizations and relational semantics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bonzio, Stefano, Zamperlin, Nicolò
Format:	Preprint
Published:	2024
Subjects:	Logic 03B45
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Modal logics of almost sure validities in some classes of euclidean and transitive frames
by: Sliusarev, Vladislav
Published: (2024)

On Many-logic modal structures and information-based logics
by: Martins, Manuel, et al.
Published: (2026)

Towards a logic of affordances
by: Gruszczynski, Rafal, et al.
Published: (2025)

Monotonicity versus positivity in modal logics
by: Dvorkin, Lev
Published: (2026)

A Basic Łukasiewicz m-valued conditional logic
by: Huo, Shuquan
Published: (2024)

Cut-free sequent calculi for the provability logic D
by: Kashima, Ryo, et al.
Published: (2023)

Models for the common knowledge logic
by: Tanaka, Yoshihito
Published: (2024)

Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
by: Olkhovikov, Grigory
Published: (2024)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
by: Coniglio, Marcelo E.
Published: (2023)

Modal logic, fundamentally
by: Holliday, Wesley H.
Published: (2024)

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
by: Bezhanishvili, Guram, et al.
Published: (2025)

Modal Semantics for Reasoning with Probability and Uncertainty
by: Guallart, Nino
Published: (2024)

Two types of filtrations for $\mathrm{wK4}$ and its relatives
by: Kudinov, Andrey, et al.
Published: (2023)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

Collapsing Constructive and Intuitionistic Modal Logics
by: Pacheco, Leonardo
Published: (2024)

Possibility Frames and Forcing for Modal Logic
by: Holliday, Wesley H.
Published: (2025)

A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox
by: Ghari, Meghdad
Published: (2021)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
by: Gallardo, Andrés, et al.
Published: (2024)

State-based Modal Logics for Free Choice
by: Aloni, Maria, et al.
Published: (2023)

Hybrid logic for strict betweenness
by: Gruszczyński, Rafał, et al.
Published: (2024)

On the unification problem for GLP
by: Beklemishev, Lev D.
Published: (2024)

A proof system for the positive fragment of GL
by: Tanaka, Yoshihito
Published: (2026)

Visser frames for sublogics of $\mathbf{IL}$
by: Okawa, Yuya, et al.
Published: (2022)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
by: Sato, Yuta
Published: (2025)

A mixed logic with binary operators
by: Düntsch, Ivo, et al.
Published: (2024)

A non-uniform view of Craig interpolation in modal logics with linear frames
by: Kurucz, Agi, et al.
Published: (2023)

Modular many-valued semantics for combined logics
by: Caleiro, Carlos, et al.
Published: (2022)

A meta-modal logic for bisimulations
by: Burrieza, Alfredo, et al.
Published: (2025)

Finite Hilbert systems for Weak Kleene logics
by: Greati, Vitor, et al.
Published: (2024)

The Size of Interpolants in Modal Logics
by: Cate, Balder ten, et al.
Published: (2025)

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

Canonicity in power and modal logics of finite achronal width
by: Goldblatt, Robert, et al.
Published: (2022)

Locally tabular products of modal logics
by: Shapirovsky, Ilya B., et al.
Published: (2024)

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)

Finite model property of pretransitive analogues of (w)K4 and GL
by: Dvorkin, Lev
Published: (2024)

Algebraic Semantics for the Logic of Proofs
by: Parsa, Amir Farahmand, et al.
Published: (2021)

Pretabular Tense Logics over S4t
by: Chen, Qian
Published: (2024)

Degree of Kripke-incompleteness of Tense Logics
by: Chen, Qian
Published: (2025)

On connexivity in modal and conditional contexts
by: Olkhovikov, Grigory K.
Published: (2025)