Abstract cyclic proofs

DOI10.1007/978-3-031-15298-6_20MaRDI QIDQ6160752zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Automated Reasoning with Analytic Tableaux and Related Methods
• Cyclic proofs for the first-order \(\mu\)-calculus
• scientific article; zbMATH DE number 2087442
• Cyclic implicit complexity
• Cyclic proofs for transfinite expressions

Cites work

• scientific article; zbMATH DE number 6680140 (Why is no real title available?)
• scientific article; zbMATH DE number 7297836 (Why is no real title available?)
• scientific article; zbMATH DE number 7155168 (Why is no real title available?)
• A focus system for the alternation-free \(\mu \)-calculus
• A proof system with names for modal \(\mu\)-calculus
• A tableau system for the modal \(\mu \)-calculus
• Automated cyclic entailment proofs in separation logic
• Automatically verifying temporal properties of pointer programs with cyclic proof
• Cyclic arithmetic is equivalent to Peano arithmetic
• Equivalence of inductive definitions and cyclic proofs under arithmetic
• Games for the -calculus
• NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
• PSPACE-completeness of a thread criterion for circular proofs in linear logic with least and greatest fixed points
• The size-change principle for program termination
• Uniform interpolation from cyclic proofs: the case of modal mu-calculus

Cited in

(7)

• Cyclic proofs with ordering constraints
• From GTC to \textsc{Reset}: generating reset proof systems from cyclic proof systems
• Procedural representation of CIC proof terms
• Cyclic formality and index theorem
• Abstract cyclic proofs
• scientific article; zbMATH DE number 1759674 (Why is no real title available?)
• Asymptotic cyclic expansion and bridge groups of formal 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 Q6160752)