Uniform interpolation from cyclic proofs: the case of modal mu-calculus
type: Item
instance of: scholarly article
title: Uniform interpolation from cyclic proofs: the case of modal mu-calculus
DOI: 10.1007/978-3-030-86059-2_20
author: Bahareh Afshari
author: Graham E. Leigh
author: Guillermo Menéndez Turata
publication date: 2022-05-25T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7532525
zbMATH Keywords: modal mu-calculus
zbMATH Keywords: sequent calculus
zbMATH Keywords: uniform interpolation
zbMATH Keywords: cyclic proofs
describes a project that uses: Easychair
describes a project that uses: Cyclist
MaRDI profile type: Publication
full work available at URL: 978-3-030-86059-2 20
OpenAlex ID: W3197483185
cites work: Q5144634
cites work: Q5278431
cites work: Interpolation with Decidable Fixpoint Logics
cites work: Q5144661
cites work: Q5227521
cites work: Automated Reasoning with Analytic Tableaux and Related Methods
cites work: Sequent calculi for induction and infinite descent
cites work: Beth definability in expressive description logics
cites work: Interpolation in non-classical logics
cites work: Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
cites work: An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
cites work: Bisimulation quantifiers and uniform interpolation for guarded first order logic
cites work: Q5208872
cites work: A cut-free cyclic proof system for Kleene algebra
cites work: Q5079743
cites work: Infinets: the parallel syntax for non-wellfounded proof-theory
cites work: Temporal logics in computer science. Finite-state systems
cites work: A non-wellfounded, labelled proof system for propositional dynamic logic
cites work: Q3022776
cites work: Uniform interpolation and sequent calculi in modal logic
cites work: Uniform interpolation and the existence of sequent calculi
cites work: Automata for the modal μ-calculus and related results
cites work: A Tableau System for the Modal μ-Calculus
cites work: Cyclic Proofs for Linear Temporal Logic
cites work: Games for the \(\mu\)-calculus
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: Realizability in cyclic proof: extracting ordering information for infinite descent
cites work: Q4738237
cites work: Circular proofs for the Gödel-Löb provability logic
cites work: Cyclic Arithmetic Is Equivalent to Peano Arithmetic
cites work: Q4417874
cites work: Automatically verifying temporal properties of pointer programs with cyclic proof
description: scientific article