Buchumschlag

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

Fuente: arXiv

Gespeichert in:

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

Ähnliche Einträge

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

On structural proof theory of the modal logic K+ extended with infinitary derivations
von: Shamkanov, Daniyar
Veröffentlicht: (2023)

Nested Sequents for Provability Logic GLP
von: Shamkanov, Daniyar
Veröffentlicht: (2014)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
von: Shamkanov, Daniyar
Veröffentlicht: (2021)

Fragments of arithmetic and cyclic proofs
von: Beklemishev, Lev D., et al.
Veröffentlicht: (2025)

Modal logical aspects of provability predicates and consistency statements
von: Kogure, Haruka, et al.
Veröffentlicht: (2025)

Unification in subsystem J$_2$ of provability logic GLB
von: Lukashov, N. V.
Veröffentlicht: (2024)

Finite Kripke models and provability interpretations in quantified modal logic
von: Kogure, Haruka, et al.
Veröffentlicht: (2026)

Relative Unification in Intuitionistic Logic: Towards provability logic of HA
von: Mojtahedi, Mojtaba
Veröffentlicht: (2022)

Smullyan's truth and provability
von: Kurahashi, Taishi, et al.
Veröffentlicht: (2024)

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

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
von: Herbelin, Hugo
Veröffentlicht: (2024)

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

Inconsistency of Reinhardt cardinals with $\mathsf{ZF}$
von: McCallum, Rupert
Veröffentlicht: (2026)

Non-distributive description logic
von: van der Berg, Ineke, et al.
Veröffentlicht: (2023)

Refinements of provability and consistency principles for the second incompleteness theorem
von: Kurahashi, Taishi
Veröffentlicht: (2025)

Friedman's $ \mathsf{WD} $ is not parameter-free sequential
von: Murwanashyaka, Juvenal
Veröffentlicht: (2025)

An observer-based approach to the sorites paradox and the logic derived from that
von: Tzouvaras, Athanassios
Veröffentlicht: (2026)

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

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

Quantum modal logic
von: Tokuo, Kenji
Veröffentlicht: (2025)

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

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

Tableau methodology for propositional logics
von: Jarmuzek, T., et al.
Veröffentlicht: (2025)

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

A topological counterpart of well-founded trees in dependent type theory
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2023)

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

Intuitionistic logic, dual intuitionistic logic, and modality
von: Aryal, Safal Raman
Veröffentlicht: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

A logic for default deontic reasoning
von: Piazza, Mario, et al.
Veröffentlicht: (2025)

Modal definability in Euclidean modal logics
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Filling in the semantics for intuitionistic conditional logic
von: Dufty, Brendan, et al.
Veröffentlicht: (2025)

Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)

Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$
von: Lorenz Halbeisen, et al.
Veröffentlicht: (2024)

Extended multi-adjoint logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)

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

Superabelian logics
von: Cintula, Petr, et al.
Veröffentlicht: (2024)

Intuitionistic monotone modal logic via translation
von: de Groot, Jim
Veröffentlicht: (2025)

Intuitionistic modal logics: a minimal setting
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Bi-intuitionistic logics through the abstract algebraic logic lens
von: Deakin, Jonte, et al.
Veröffentlicht: (2025)