Imagen de Portada

Cut elimination for a non-wellfounded system for the master modality

Fuente: arXiv

Guardado en:

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

Ejemplares similares

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

Proof Theory for Bimodal Provability Logics
por: Miranda, Borja Sierra, et al.
Publicado: (2026)

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

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

Cut-elimination for the alternation-free modal mu-calculus
por: Afshari, Bahareh, et al.
Publicado: (2025)

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

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
por: Das, Anupam, et al.
Publicado: (2024)

Non-wellfounded parsimonious proofs and non-uniform complexity
por: Acclavio, Matteo, et al.
Publicado: (2024)

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

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

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

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
por: Oda, Yukihiro
Publicado: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
por: Gylterud, Håkon Robbestad, et al.
Publicado: (2020)

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
por: Bauer, Esaïe, et al.
Publicado: (2025)

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

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

Regular non-normal modal classicalities
por: Freire, Alfredo Roque, et al.
Publicado: (2026)

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

Stationarity and elimination of imaginaries in stable and simple theories
por: Bartnick, Charlotte
Publicado: (2024)

Synergistic Knowledge
por: Cachin, Christian, et al.
Publicado: (2024)

Simplicial Belief
por: Cachin, Christian, et al.
Publicado: (2026)

Superamalgamation for modal lattices via non-distributive dualities
por: Almeida, Rodrigo Nicolau, et al.
Publicado: (2026)

An efficient quantifier elimination procedure for Presburger arithmetic
por: Haase, Christoph, et al.
Publicado: (2024)

Quantum modal logic
por: Tokuo, Kenji
Publicado: (2025)

Provability interpretation of non-normal modal logics having neighborhood semantics
por: Kogure, Haruka
Publicado: (2025)

Normalization and cut-elimination theorems for some logics of evidence and truth
por: Coniglio, Marcelo E., et al.
Publicado: (2024)

Almost free algebras: from the word problem to elimination of quantifiers
por: Jia, Yifan, et al.
Publicado: (2026)

On the Cut Elimination of Weak Intuitionistic Tense Logic
por: Wang, Yiheng, et al.
Publicado: (2024)

Intuitionistic modal logics: a minimal setting
por: Balbiani, Philippe, et al.
Publicado: (2025)

Cut-free Deductive System for Continuous Intuitionistic Logic
por: Geoffroy, Guillaume
Publicado: (2025)

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

Oracle modalities
por: Swan, Andrew W
Publicado: (2024)

A modal approach towards substitutions
por: Tu, Yaxin, et al.
Publicado: (2025)

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

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

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
por: Indrzejczak, Andrzej, et al.
Publicado: (2024)

Intuitionistic monotone modal logic via translation
por: de Groot, Jim
Publicado: (2025)

Interpolation for the two-way modal mu-calculus
por: Kloibhofer, Johannes, et al.
Publicado: (2025)

Paraconsistent Existential Graphs Gamma Peirce System
por: Sierra-Aristizabal, Manuel
Publicado: (2023)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2025)