Cover Image

Modal definability in Kripke's theory of truth

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Walsh, James
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Adequate conditionals and Kripke's theory of truth
by: Stern, Johannes
Published: (2024)

Tarskian truth theories over set theory
by: Enayat, Ali
Published: (2026)

Modal definability in Euclidean modal logics
by: Balbiani, Philippe, et al.
Published: (2025)

Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators
by: Kikot, Stanislav, et al.
Published: (2017)

Axiomatic theories of supervaluational truth: completing the picture
by: Dopico, Pablo, et al.
Published: (2024)

Axiomatizing logics of finite Gödel-Kripke models
by: Vidal, Amanda, et al.
Published: (2026)

An essentially algebraic glance to Kripke semantics: the S5 case
by: De Berardinis, Matteo, et al.
Published: (2025)

Finite Kripke models and provability interpretations in quantified modal logic
by: Kogure, Haruka, et al.
Published: (2026)

Swap Kripke models for deontic LFIs
by: Vaz, Mahan, et al.
Published: (2025)

Smullyan's truth and provability
by: Kurahashi, Taishi, et al.
Published: (2024)

An axiomatization of truth and paradoxicality
by: Castaldo, Luca
Published: (2025)

Ranking theories via encoded $β$-models
by: Jeon, Hanul, et al.
Published: (2025)

Gödel-Dummett and $\mathsf{BD_2}$: Linearity and Depth-Two Branching in Kripke Semantics
by: Arroyo, Vicent Navarro
Published: (2026)

Supervaluations, truth, and intuitionistic logic
by: Dopico, Pablo
Published: (2025)

Higher-order Kripke models for intuitionistic and non-classical modal logics
by: Barroso-Nascimento, Victor
Published: (2025)

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

Modal Exchangeability: Centered Symmetry and the Credal Architecture of Kripke Frames
by: Zantedeschi, Daniel
Published: (2026)

Asymptotic truth-value laws in many-valued logics
by: Badia, Guillermo, et al.
Published: (2023)

A classification of incompleteness statements
by: Towsner, Henry, et al.
Published: (2024)

Descending sequences in reflection hierarchies
by: Łełyk, Mateusz, et al.
Published: (2025)

Normalization and cut-elimination theorems for some logics of evidence and truth
by: Coniglio, Marcelo E., et al.
Published: (2024)

A formal system for reasoning about assertibility, truth, and meaningfulness
by: Weaver, Nik
Published: (2025)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
by: Hamkins, Joel David
Published: (2022)

Kripke-Joyal forcing for type theory and uniform fibrations
by: Awodey, S., et al.
Published: (2021)

Kripke-like models of Set Theory in Modal Residuated Logic
by: Moncayo, Jose, et al.
Published: (2024)

Analytic proofs for logics of evidence and truth
by: Carnielli, Walter, et al.
Published: (2024)

On definable J-sets
by: Zhang, Zhentao
Published: (2025)

Morse theory in definably complete d-minimal structures
by: Fujita, Masato, et al.
Published: (2024)

PFA and the definability of the nonstationary ideal
by: Hoffelner, Stefan, et al.
Published: (2023)

Nonclassical logics and multivariate truth values
by: Zhuravlov, Volodymyr M.
Published: (2024)

Trace definability I: preservation and characterizations
by: Walsberg, Erik
Published: (2025)

Incompleteness in Quantified Conditional Logic
by: Kocurek, Alexander W., et al.
Published: (2026)

Modal Fragments
by: Bezhanishvili, Nick, et al.
Published: (2026)

The short exact sequence in definable Galois cohomology
by: Meretzky, David
Published: (2024)

On groups definable in geometric fields with generic derivations
by: Pillay, Anand, et al.
Published: (2025)

Trace definability IV: higher arity notions
by: Walsberg, Erik
Published: (2026)

One-dimensional F-definable sets in F((t))
by: Anscombe, Sylvy
Published: (2015)

Isomorphism types of definable (maximal) cofinitary groups
by: Schembecker, Lukas
Published: (2025)

Trace definability II: model-theoretic linearity
by: Walsberg, Erik
Published: (2026)

On the hierarchy of natural theories
by: Walsh, James
Published: (2021)