Cover Image

(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$

Fuente: arXiv

Saved in:

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

Similar Items

A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$
by: Shamkanov, Daniyar
Published: (2024)

On structural proof theory of the modal logic K+ extended with infinitary derivations
by: Shamkanov, Daniyar
Published: (2023)

Nested Sequents for Provability Logic GLP
by: Shamkanov, Daniyar
Published: (2014)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
by: Shamkanov, Daniyar
Published: (2021)

Fragments of arithmetic and cyclic proofs
by: Beklemishev, Lev D., et al.
Published: (2025)

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

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

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

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

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

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

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

A Universe with a $Δ^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Π^1_n$-Uniformization
by: Hoffelner, Stefan
Published: (2025)

Inconsistency of Reinhardt cardinals with $\mathsf{ZF}$
by: McCallum, Rupert
Published: (2026)

Non-distributive description logic
by: van der Berg, Ineke, et al.
Published: (2023)

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

Friedman's $ \mathsf{WD} $ is not parameter-free sequential
by: Murwanashyaka, Juvenal
Published: (2025)

An observer-based approach to the sorites paradox and the logic derived from that
by: Tzouvaras, Athanassios
Published: (2026)

Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$
by: Hayashi, Daichi
Published: (2024)

On the expressive power of inquisitive team logic and inquisitive first-order logic
by: Kontinen, Juha, et al.
Published: (2026)

Quantum modal logic
by: Tokuo, Kenji
Published: (2025)

$\mathsf{MA} (\mathcal{I}$) and a Failure of Separation on the third Level
by: Hoffelner, Stefan
Published: (2025)

The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$
by: Hoffelner, Stefan
Published: (2024)

Tableau methodology for propositional logics
by: Jarmuzek, T., et al.
Published: (2025)

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
by: Suzuki, Yudai, et al.
Published: (2024)

A topological counterpart of well-founded trees in dependent type theory
by: Maietti, Maria Emilia, et al.
Published: (2023)

On the horizontal compression of dag-derivations in minimal purely implicational logic
by: Haeusler, Edward Hermann, et al.
Published: (2022)

Intuitionistic logic, dual intuitionistic logic, and modality
by: Aryal, Safal Raman
Published: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
by: Bonanno, Giacomo
Published: (2026)

A logic for default deontic reasoning
by: Piazza, Mario, et al.
Published: (2025)

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

Filling in the semantics for intuitionistic conditional logic
by: Dufty, Brendan, et al.
Published: (2025)

Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)

Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$
by: Lorenz Halbeisen, et al.
Published: (2024)

Extended multi-adjoint logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)

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

Superabelian logics
by: Cintula, Petr, et al.
Published: (2024)

Intuitionistic monotone modal logic via translation
by: de Groot, Jim
Published: (2025)

Intuitionistic modal logics: a minimal setting
by: Balbiani, Philippe, et al.
Published: (2025)

Bi-intuitionistic logics through the abstract algebraic logic lens
by: Deakin, Jonte, et al.
Published: (2025)