Abstract cyclic proofs
From MaRDI portal
Publication:6646012
DOI10.1017/S0960129524000070MaRDI QIDQ6646012
Publication date: 29 November 2024
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Games for the \(\mu\)-calculus
- Automated reasoning with analytic tableaux and related methods. 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6--10, 2009. Proceedings
- Results on the propositional \(\mu\)-calculus
- On a problem of formal logic.
- Cyclic proofs, hypersequents, and transitive closure logic
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus
- A focus system for the alternation-free \(\mu \)-calculus
- PSPACE-completeness of a thread criterion for circular proofs in linear logic with least and greatest fixed points
- Cyclic Arithmetic Is Equivalent to Peano Arithmetic
- On global induction mechanisms in aμ-calculus with explicit approximations
- Traced monoidal categories
- NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
- The size-change principle for program termination
- Automated Cyclic Entailment Proofs in Separation Logic
- Testing and generating infinite sequences by a finite automaton
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Automatically verifying temporal properties of pointer programs with cyclic proof
- Cyclic proofs for transfinite expressions
- On the Logical Strength of Confluence and Normalisation for Cyclic Proofs.
- Abstract cyclic proofs
This page was built for publication: Abstract cyclic proofs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6646012)
