Imagen de Portada

Proof Theory for Bimodal Provability Logics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Miranda, Borja Sierra, Studer, Thomas
Formato:	Preprint
Publicado:	2026
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Cut elimination for a non-wellfounded system for the master modality
por: Miranda, Borja Sierra, et al.
Publicado: (2025)

Cyclic Proofs for iGL via Corecursion
por: Miranda, Borja Sierra
Publicado: (2023)

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

Provability Models
por: Mojtahedi, Mojtaba, et al.
Publicado: (2025)

Knowledge and Common Knowledge of Strategies
por: Miranda, Borja Sierra, et al.
Publicado: (2025)

Coalgebraic proof translations for non-wellfounded proofs
por: Miranda, Borja Sierra, et al.
Publicado: (2025)

Uniform interpolation for interpretability logic
por: Horvat, Sebastijan, et al.
Publicado: (2025)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
por: Becker, Justus
Publicado: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
por: Lyon, Tim S., et al.
Publicado: (2024)

On the Provability Logic of HA
por: Mojtahedi, Mojtaba
Publicado: (2022)

Cut-Elimination for the Bimodal Logic GR
por: Kushida, Hirohiko
Publicado: (2026)

Proof Complexity of Linear Logics
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2026)

Proof-theoretic Semantics for Second-order Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
por: Gu, Tao, et al.
Publicado: (2023)

Proof-theoretic Semantics for First-order Logic
por: Gheorghiu, Alexander V.
Publicado: (2024)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
por: Teuber, Samuel, et al.
Publicado: (2025)

Strong Completeness of Provability Logic for Uncountable Languages
por: Golshani, Mohammad, et al.
Publicado: (2026)

Proof-Theoretic Functional Completeness for the Connexive Logic C
por: Ayhan, Sara, et al.
Publicado: (2025)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
por: Lyon, Tim S.
Publicado: (2024)

Nested Sequents for Provability Logic GLP
por: Shamkanov, Daniyar
Publicado: (2014)

Hypergraph Semantics for Doxastic Logics
por: van Ditmarsch, Hans, et al.
Publicado: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
por: Afshari, Bahareh, et al.
Publicado: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
por: Gheorghiu, Alexander V., et al.
Publicado: (2023)

An Introduction to Categorical Proof Theory
por: Tabatabai, Amirhossein Akbar
Publicado: (2024)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2022)

Tableau Proof Systems for Justification Logics
por: Ghari, Meghdad
Publicado: (2014)

Universal Proof Theory, TACL 2022 Lecture Notes
por: Iemhoff, Rosalie, et al.
Publicado: (2023)

A Direct Characterisation of Logical Grounds and a Decidability Proof
por: Genco, Francesco A.
Publicado: (2025)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2018)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
por: Traversié, Thomas
Publicado: (2024)

Algebraic Semantics for the Logic of Proofs
por: Parsa, Amir Farahmand, et al.
Publicado: (2021)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
por: Lyon, Tim S., et al.
Publicado: (2024)

A Proof-Theoretic Study of Modal Logic
por: Kushida, Hirohiko
Publicado: (2026)

Six Proofs of Interpolation for the Modal Logic K
por: Bezhanishvili, Nick, et al.
Publicado: (2025)

Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
por: Maniwa, Akinori, et al.
Publicado: (2024)

A Proof Theory for Profinite Modal Algebras
por: De Berardinis, Matteo, et al.
Publicado: (2025)

Interpolation in Proof Theory
por: van der Giessen, Iris, et al.
Publicado: (2026)

Proofs that Modify Proofs, 1/2
por: Towsner, Henry
Publicado: (2025)