Abstract cyclic proofs

DOI10.1007/978-3-031-15298-6_20OpenAlexW4297809295MaRDI QIDQ6160752

Bahareh Afshari, Dominik Wehr

Publication date: 2 June 2023

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-15298-6_20

zbMATH Keywords

category theorymu-calculuscyclic proof theory

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Games for the \(\mu\)-calculus
• 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
• A Tableau System for the Modal μ-Calculus
• NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
• The size-change principle for program termination
• Automated Cyclic Entailment Proofs in Separation Logic
• Automatically verifying temporal properties of pointer programs with cyclic proof
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item