Buchumschlag

Modal logical aspects of provability predicates and consistency statements

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kogure, Haruka, Kurahashi, Taishi
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

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

Doubly partially conservative sentences
von: Kogure, Haruka, et al.
Veröffentlicht: (2025)

A variety of partially conservative sentences
von: Kogure, Haruka, et al.
Veröffentlicht: (2024)

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

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

Arithmetical completeness for some extensions of the pure logic of necessitation
von: Kogure, Haruka
Veröffentlicht: (2024)

Provability interpretation of non-normal modal logics having neighborhood semantics
von: Kogure, Haruka
Veröffentlicht: (2025)

Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics
von: Kurahashi, Taishi
Veröffentlicht: (2024)

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

The finite frame property of some extensions of the pure logic of necessitation
von: Kurahashi, Taishi, et al.
Veröffentlicht: (2023)

Certified $Σ_1$-sentences
von: Kurahashi, Taishi, et al.
Veröffentlicht: (2023)

On collection schemes and Gaifman's splitting theorem
von: Kurahashi, Taishi, et al.
Veröffentlicht: (2024)

Strong completeness for the predicate logic of the continuous t-norms
von: Castaño, Diego, et al.
Veröffentlicht: (2024)

Recursive inseparability of classical theories of a binary predicate and non-classical logics of a unary predicate
von: Rybakov, Mikhail
Veröffentlicht: (2025)

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

(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
von: Shamkanov, Daniyar
Veröffentlicht: (2025)

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

Extensional Independence
von: Kurahashi, Taishi, et al.
Veröffentlicht: (2025)

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

Superintuitionistic predicate logics of linear frames: undecidability with two individual variables
von: Rybakov, Mikhail
Veröffentlicht: (2025)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
von: Dowek, Gilles, et al.
Veröffentlicht: (2023)

Hierarchical formula classes with respect to semi-classical prenex normalization
von: Fujiwara, Makoto, et al.
Veröffentlicht: (2025)

Pour-El's Landscape
von: Kurahashi, Taishi, et al.
Veröffentlicht: (2023)

The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$
von: Castaño, Diego, et al.
Veröffentlicht: (2024)

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

Craig interpolation theorem fails in bi-intuitionistic predicate logic
von: Olkhovikov, Grigory K., et al.
Veröffentlicht: (2022)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
von: Tanaka, Yoshihito
Veröffentlicht: (2025)

On the existence property over a predicate
von: Usvyatsov, Alexander
Veröffentlicht: (2025)

On $\lam$-existence over a predicate
von: Usvyatsov, Alexander
Veröffentlicht: (2026)

Stability over a predicate and prime closure
von: Usvyatsov, Alexander
Veröffentlicht: (2024)

Stable amalgamation over a predicate and the Gaifman property
von: Shelah, Saharon, et al.
Veröffentlicht: (2025)

Fibred sets within a predicative and constructive effective topos
von: Cioffo, Cipriano Junior, et al.
Veröffentlicht: (2024)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
von: Oda, Yukihiro, et al.
Veröffentlicht: (2022)

A classification of incompleteness statements
von: Towsner, Henry, et al.
Veröffentlicht: (2024)

Tarski's least fixed point theorem: A predicative type theoretic formulation
von: Ray, Ian
Veröffentlicht: (2024)

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

Modal logic, fundamentally
von: Holliday, Wesley H.
Veröffentlicht: (2024)

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

Sharing proofs with predicative theories through universe-polymorphic elaboration
von: Felicissimo, Thiago, et al.
Veröffentlicht: (2023)

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