Cover Image

Nested Sequents for Provability Logic GLP

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Shamkanov, Daniyar
Format:	Preprint
Published:	2014
Subjects:	Logic Logic in Computer Science 03F05, 03F45
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

Lewis and Brouwer meet Strong Löb
by: Visser, Albert, et al.
Published: (2024)

Collapsing Constructive and Intuitionistic Modal Logics
by: Pacheco, Leonardo
Published: (2024)

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

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

On the unification problem for GLP
by: Beklemishev, Lev D.
Published: (2024)

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
by: Fusco, Ludovico, et al.
Published: (2025)

Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)

First-Order Fischer Servi Logic
by: Christensen, Ahmee
Published: (2024)

Cut elimination for propositional cyclic proof systems with fixed-point operators
by: Hori, Hiromasa, et al.
Published: (2023)

A Note on Switching Conditions for the Generalized Logical Connectives in Multiplicative Linear Logic
by: Nishimuta, Yuki, et al.
Published: (2018)

Possibility Frames and Forcing for Modal Logic
by: Holliday, Wesley H.
Published: (2025)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
by: Sato, Yuta
Published: (2025)

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

Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)

A proof system for the positive fragment of GL
by: Tanaka, Yoshihito
Published: (2026)

Visser frames for sublogics of $\mathbf{IL}$
by: Okawa, Yuya, et al.
Published: (2022)

An ecumenical view of proof-theoretic semantics
by: Nascimento, Victor, et al.
Published: (2023)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

The Uniform Functional Interpretation with Informative Types
by: Ferreira, Fernando, et al.
Published: (2025)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)

Sheaves as oracle computations
by: Ahman, Danel, et al.
Published: (2026)

Glivenko's theorems from an ecumenical perspective
by: Pereira, Luiz Carlos, et al.
Published: (2026)

The Myhill isomorphism theorem does not generalize much
by: Pradic, Cécilia
Published: (2025)

Tableau Proof Systems for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Knowability as continuity: a topological account of informational dependence
by: Baltag, Alexandru, et al.
Published: (2024)

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

Modelling Multiplicative Linear Logic via Deep Inference
by: Galor, Tomer, et al.
Published: (2024)

Proof Compression via Subatomic Logic and Guarded Substitutions
by: Barrett, Victoria, et al.
Published: (2025)

Agent Interpolation for Knowledge
by: Bílková, Marta, et al.
Published: (2025)

Structural focalization
by: Simmons, Robert J.
Published: (2011)

Automatic structures and the problem of natural well-orderings
by: Beklemishev, Lev D., et al.
Published: (2024)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
by: Cerda, Rémy, et al.
Published: (2022)

Reopening of the conjecture about the decidability of Quasi-Dense Modal Logics (Comments on Lyon & Ostropolski-Nalewaja's result)
by: Gasquet, Olivier
Published: (2025)