Cover Image

Interpolation for the two-way modal mu-calculus

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kloibhofer, Johannes, Venema, Yde
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Interpolation for Converse PDL
by: Kloibhofer, Johannes, et al.
Published: (2025)

An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)

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

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
by: Borzechowski, Manfred, et al.
Published: (2025)

On the Completeness of Interpolation Algorithms
by: Hetzl, Stefan, et al.
Published: (2024)

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)

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

Formula size game and model checking for modal substitution calculus
by: Ahvonen, Veeti, et al.
Published: (2025)

The mu-calculus' Alternation Hierarchy is Strict over Non-Trivial Fusion Logics
by: Pacheco, Leonardo
Published: (2025)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
by: Férée, Hugo, et al.
Published: (2026)

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

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

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

A modal approach towards substitutions
by: Tu, Yaxin, et al.
Published: (2025)

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

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)

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)

Boolean basis, formula size, and number of modal operators
by: Berkholz, Christoph, et al.
Published: (2024)

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

Oracle modalities
by: Swan, Andrew W
Published: (2024)

S4 modal sequent calculus as intermediate logic and intermediate language
by: Caspar, Jean, et al.
Published: (2026)

The calculus of neo-Peircean relations
by: Bonchi, Filippo, et al.
Published: (2025)

Resource approximation for the $λμ$-calculus
by: Barbarossa, Davide
Published: (2024)

The higher dimensional propositional calculus
by: Bucciarelli, Antonio, et al.
Published: (2022)

Primitive Recursive Dependent Type Theory
by: Buchholtz, Ulrik, et al.
Published: (2024)

Higher order differential calculus in mathlib
by: Gouëzel, Sébastien
Published: (2025)

An implicit function theorem for the stream calculus
by: Boreale, Michele, et al.
Published: (2023)

A linear linear lambda-calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

Approximation theory for distant Bang calculus
by: Chardonnet, Kostia, et al.
Published: (2026)

On the complexity of normalization for the planar $λ$-calculus
by: Das, Anupam, et al.
Published: (2024)

There are (other) ways to negate in propositional team semantics
by: Yang, Fan
Published: (2024)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
by: van der Giessen, Iris, et al.
Published: (2023)

muRelBench: MicroBenchmarks for Zonotope Domains
by: Ballou, Kenny, et al.
Published: (2024)

Interpolation and Quantifiers in Ortholattices
by: Guilloud, Simon, et al.
Published: (2025)

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

Definability and Interpolation in Philosophy
by: van Benthem, Johan
Published: (2026)