Buchumschlag

Completeness theorems for modal logic in second-order arithmetic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Shimomichi, Sho, Takeda, Yuto, Yokoyama, Keita
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

Quasi-Polish spaces and spaces of filters in second-order arithmetic
von: Kaneko, Yuzuki, et al.
Veröffentlicht: (2026)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
von: Ikari, Hiroyuki, et al.
Veröffentlicht: (2026)

Searching problems above arithmetical transfinite recursion
von: Suzuki, Yudai, et al.
Veröffentlicht: (2023)

The modal logic of arithmetic potentialism and the universal algorithm
von: Hamkins, Joel David
Veröffentlicht: (2018)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

Pathwise-random trees and models of second-order arithmetic
von: Barmpalias, George, et al.
Veröffentlicht: (2021)

Boolean-valued second-order logic revisited
von: Ikegami, Daisuke
Veröffentlicht: (2025)

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

Strong standard completeness theorems for S5-modal Lukasiewicz logics
von: Castaño, Diego, et al.
Veröffentlicht: (2024)

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

Analysis of logics with arithmetic
von: Benedikt, Michael, et al.
Veröffentlicht: (2025)

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

Model theory of second order logic
von: Väänänen, Jouko
Veröffentlicht: (2025)

Conservation of Ramsey's theorem for pairs and well-foundedness
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2024)

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

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

Minimal modal logics, constructive modal logics and their relations
von: Dalmonte, Tiziano
Veröffentlicht: (2023)

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)

More on modal logics and deduction
von: Gyenis, Zalán, et al.
Veröffentlicht: (2026)

New inner models from second order logics
von: Magidor, Menachem, et al.
Veröffentlicht: (2025)

Intrinsic and relative characterization results for logics with negative modalities
von: de Groot, Jim, et al.
Veröffentlicht: (2025)

Completions of Kleene's second model
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2023)

Multiplicative logic in arithmetic
von: Zhuravlov, Volodymyr
Veröffentlicht: (2024)

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

Higher-order Kripke models for intuitionistic and non-classical modal logics
von: Barroso-Nascimento, Victor
Veröffentlicht: (2025)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
von: Grilletti, Gianluca, et al.
Veröffentlicht: (2024)

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

A note on the modal logic of symmetric extensions
von: Duncan, Hope
Veröffentlicht: (2026)

Labelled calculi for lattice-based modal logics
von: van der Berg, Ineke, et al.
Veröffentlicht: (2024)

Capturing the polynomial hierarchy by second-order revised Krom logic
von: Wang, Kexu, et al.
Veröffentlicht: (2022)

A meta-modal logic for bisimulations
von: Burrieza, Alfredo, et al.
Veröffentlicht: (2025)

Simple tableaux for two expansions of Gödel modal logic
von: Bilkova, Marta, et al.
Veröffentlicht: (2024)

Topological product of modal logics with the McKinsey axiom
von: Kudinov, Andrey
Veröffentlicht: (2024)

On Many-logic modal structures and information-based logics
von: Martins, Manuel, et al.
Veröffentlicht: (2026)

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

Fuzzy bi-Gödel modal logic and its paraconsistent relatives
von: Bilkova, Marta, et al.
Veröffentlicht: (2023)

On a Question of Hamkins and Löwe on the modal logic of collapse forcing
von: Golshani, Mohammad, et al.
Veröffentlicht: (2016)

Levin's and Prucnal's theorems on Medvedev's logic of finite problems
von: Přenosil, Adam
Veröffentlicht: (2024)