Abstract cyclic proofs
type: Item
instance of: scholarly article
title: Abstract cyclic proofs
author: Bahareh Afshari
author: Dominik Wehr
published in: Mathematical Structures in Computer Science
publication date: 2024-11-29T00:00:00Z
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7951653
zbMATH Keywords: cyclic proof theory
zbMATH Keywords: category theory
zbMATH Keywords: fixed-point logic
zbMATH Keywords: \(\mu\)-calculi
MaRDI profile type: Publication
cites work: Q5144634
cites work: Uniform interpolation from cyclic proofs: the case of modal mu-calculus
cites work: Abstract cyclic proofs
cites work: Q5278431
cites work: Q5144661
cites work: Automated Cyclic Entailment Proofs in Separation Logic
cites work: Q5208872
cites work: On the Logical Strength of Confluence and Normalisation for Cyclic Proofs.
cites work: Cyclic proofs, hypersequents, and transitive closure logic
cites work: Q2958526
cites work: Cyclic proofs for transfinite expressions
cites work: Traced monoidal categories
cites work: Automated reasoning with analytic tableaux and related methods. 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6--10, 2009. Proceedings
cites work: Results on the propositional \(\mu\)-calculus
cites work: The size-change principle for program termination
cites work: A focus system for the alternation-free \(\mu \)-calculus
cites work: Testing and generating infinite sequences by a finite automaton
cites work: Games for the \(\mu\)-calculus
cites work: PSPACE-completeness of a thread criterion for circular proofs in linear logic with least and greatest fixed points
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: On a problem of formal logic.
cites work: NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
cites work: Cyclic Arithmetic Is Equivalent to Peano Arithmetic
cites work: On global induction mechanisms in aμ-calculus with explicit approximations
cites work: Q4994684
cites work: Automatically verifying temporal properties of pointer programs with cyclic proof
DOI: 10.1017/S0960129524000070
description: scientific article; zbMATH DE number 7951653