Cover Image

On structural proof theory of the modal logic K+ extended with infinitary derivations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Shamkanov, Daniyar
Format:	Preprint
Published:	2023
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)

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

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

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

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

Monotone infinitary operations on ordinals (extended version)
by: Lipparini, Paolo
Published: (2025)

Algebraic proof theory for LE-logics
by: Greco, Giuseppe, et al.
Published: (2018)

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

On syntactic concept lattice models for the Lambek calculus and infinitary action logic
by: Kuznetsov, Stepan L.
Published: (2025)

Solving infinitary Rubik's cubes
by: Tisdell, Jack Edward
Published: (2025)

Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)

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

Complexity of the variable-free fragments of non-normal modal logics (extended version)
by: Kudinov, A., et al.
Published: (2025)

Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK
by: Balbiani, Philippe, et al.
Published: (2025)

On Many-logic modal structures and information-based logics
by: Martins, Manuel, et al.
Published: (2026)

Reflection ranks via infinitary derivations
by: Walsh, James
Published: (2021)

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

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

A proof-theoretic approach to uniform interpolation property of multi-agent modal logic
by: Su, Youan
Published: (2025)

Minimal modal logics, constructive modal logics and their relations
by: Dalmonte, Tiziano
Published: (2023)

A logic of judgmental existence and its relation to proof irrelevance
by: Pezlar, Ivo
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)

More on modal logics and deduction
by: Gyenis, Zalán, et al.
Published: (2026)

A linear proof language for second-order intuitionistic linear logic
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

On semantics of first-order justification logic with binding modalities
by: Yavorskaya, Tatiana, et al.
Published: (2025)

Intrinsic and relative characterization results for logics with negative modalities
by: de Groot, Jim, et al.
Published: (2025)

Sundholm's explanation of meaning: logical atavism and the nature of proofs
by: d'Aragona, Antonio Piccolomini
Published: (2025)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
by: Oda, Yukihiro, et al.
Published: (2021)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
by: Grilletti, Gianluca, et al.
Published: (2024)

Complexity of some modal logics of density (extended version)
by: Balbiani, Philippe, et al.
Published: (2025)

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

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
by: Santo, José Espírito, et al.
Published: (2020)

A note on the modal logic of symmetric extensions
by: Duncan, Hope
Published: (2026)

The modal logic of arithmetic potentialism and the universal algorithm
by: Hamkins, Joel David
Published: (2018)

Labelled calculi for lattice-based modal logics
by: van der Berg, Ineke, et al.
Published: (2024)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
by: d'Aragona, Antonio Piccolomini
Published: (2025)

A meta-modal logic for bisimulations
by: Burrieza, Alfredo, et al.
Published: (2025)

Generating proof systems for three-valued propositional logics
by: Greati, Vitor, et al.
Published: (2024)

Completeness theorems for modal logic in second-order arithmetic
by: Shimomichi, Sho, et al.
Published: (2025)