Buchumschlag

Degree of Kripke-incompleteness of Tense Logics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Chen, Qian
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic 03B44, 03B45
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Pretabular Tense Logics over S4t
von: Chen, Qian
Veröffentlicht: (2024)

Blok-Esakia Theorems via Stable Canonical Rules
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2022)

Effective Completeness for S4.3.1-Theories with Respect to Discrete Linear Models
von: Nichols, David
Veröffentlicht: (2017)

Swap Kripke models for deontic LFIs
von: Vaz, Mahan, et al.
Veröffentlicht: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
von: Lyon, Tim S.
Veröffentlicht: (2025)

Kripke-like models of Set Theory in Modal Residuated Logic
von: Moncayo, Jose, et al.
Veröffentlicht: (2024)

First-Order Modal Logic via Logical Categories
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
von: Howlader, Prosenjit, et al.
Veröffentlicht: (2024)

Logics of False Belief and Radical Ignorance
von: Fan, Jie
Veröffentlicht: (2024)

Interleaving Logic and Counting
von: van Benthem, Johan, et al.
Veröffentlicht: (2025)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
von: Ghari, Meghdad
Veröffentlicht: (2014)

The Logic of Correct Models
von: Aguilera, Juan Pablo, et al.
Veröffentlicht: (2024)

Algebraic Semantics for the Logic of Proofs
von: Parsa, Amir Farahmand, et al.
Veröffentlicht: (2021)

State-based Modal Logics for Free Choice
von: Aloni, Maria, et al.
Veröffentlicht: (2023)

On the Contingency of Logic in Possible World Semantics
von: van der Giessen, Iris, et al.
Veröffentlicht: (2025)

Aristotle's Second-Order Logic and Natural Deduction
von: Protin, Clarence
Veröffentlicht: (2023)

Tense logics based on posets
von: Chajda, Ivan, et al.
Veröffentlicht: (2024)

Natural Term Logic
von: Protin, Clarence
Veröffentlicht: (2024)

Intuitionistic Common Knowledge
von: Zenger, Lukas
Veröffentlicht: (2026)

A proof system for the positive fragment of GL
von: Tanaka, Yoshihito
Veröffentlicht: (2026)

On the unification problem for GLP
von: Beklemishev, Lev D.
Veröffentlicht: (2024)

Visser frames for sublogics of $\mathbf{IL}$
von: Okawa, Yuya, et al.
Veröffentlicht: (2022)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
von: Gallardo, Andrés, et al.
Veröffentlicht: (2024)

Possibility Frames and Forcing for Modal Logic
von: Holliday, Wesley H.
Veröffentlicht: (2025)

Collapsing Constructive and Intuitionistic Modal Logics
von: Pacheco, Leonardo
Veröffentlicht: (2024)

Towards a logic of affordances
von: Gruszczynski, Rafal, et al.
Veröffentlicht: (2025)

On connexivity in modal and conditional contexts
von: Olkhovikov, Grigory K.
Veröffentlicht: (2025)

A Basic Łukasiewicz m-valued conditional logic
von: Huo, Shuquan
Veröffentlicht: (2024)

Strong completeness of a first-order temporal logic for real time
von: Goldblatt, Robert
Veröffentlicht: (2023)

An axiomatisation of the temporal logic of two dimensional Minkowski spacetime
von: Hirsch, Robin
Veröffentlicht: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2025)

Failure of Esakia's theorem in the monadic setting
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

Modal Semantics for Reasoning with Probability and Uncertainty
von: Guallart, Nino
Veröffentlicht: (2024)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
von: Olkhovikov, Grigory
Veröffentlicht: (2024)

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

LF: a Foundational Higher-Order-Logic
von: Goodsell, Zachary, et al.
Veröffentlicht: (2024)

Modal Exchangeability: Centered Symmetry and the Credal Architecture of Kripke Frames
von: Zantedeschi, Daniel
Veröffentlicht: (2026)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
von: Leme, Renato, et al.
Veröffentlicht: (2023)

First-Order Fischer Servi Logic
von: Christensen, Ahmee
Veröffentlicht: (2024)

Cut-free sequent calculi for the provability logic D
von: Kashima, Ryo, et al.
Veröffentlicht: (2023)