Cover Image

Smullyan's truth and provability

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kurahashi, Taishi, Tominaga, Kohei
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

Refinements of provability and consistency principles for the second incompleteness theorem
by: Kurahashi, Taishi
Published: (2025)

Modal logical aspects of provability predicates and consistency statements
by: Kogure, Haruka, et al.
Published: (2025)

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

Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics
by: Kurahashi, Taishi
Published: (2024)

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

A variety of partially conservative sentences
by: Kogure, Haruka, et al.
Published: (2024)

On collection schemes and Gaifman's splitting theorem
by: Kurahashi, Taishi, et al.
Published: (2024)

Certified $Σ_1$-sentences
by: Kurahashi, Taishi, et al.
Published: (2023)

The finite frame property of some extensions of the pure logic of necessitation
by: Kurahashi, Taishi, et al.
Published: (2023)

Doubly partially conservative sentences
by: Kogure, Haruka, et al.
Published: (2025)

Extensional Independence
by: Kurahashi, Taishi, et al.
Published: (2025)

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

Hierarchical formula classes with respect to semi-classical prenex normalization
by: Fujiwara, Makoto, et al.
Published: (2025)

Pour-El's Landscape
by: Kurahashi, Taishi, et al.
Published: (2023)

Unification in subsystem J$_2$ of provability logic GLB
by: Lukashov, N. V.
Published: (2024)

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

Relative Unification in Intuitionistic Logic: Towards provability logic of HA
by: Mojtahedi, Mojtaba
Published: (2022)

(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
by: Shamkanov, Daniyar
Published: (2025)

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

Modal definability in Kripke's theory of truth
by: Walsh, James
Published: (2024)

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

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

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

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

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)

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

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

Generation of Grothendieck topologies, provability and operations on subtoposes
by: Caramello, Olivia, et al.
Published: (2025)

Saturation properties for compositional truth with propositional correctness
by: Wcisło, Bartosz
Published: (2024)

Classical determinate truth without induction
by: Wcisło, Bartosz
Published: (2024)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
by: Hsieh, Chiao, et al.
Published: (2025)

Universal truth of operator statements via ideal membership
by: Hofstadler, Clemens, et al.
Published: (2022)

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
by: Kawamoto, Yusuke, et al.
Published: (2024)

Demystifying $μ$
by: Afshari, Bahareh, et al.
Published: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
by: Afshari, Bahareh, et al.
Published: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)

The strength of the dominance rule
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2024)

Dynamic Probability Logic: Decidability & Computability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)