scientific article; zbMATH DE number 7297836

zbMath1452.03055MaRDI QIDQ5144634

Bahareh Afshari, Graham E. Leigh

Publication date: 19 January 2021

Full work available at URL: http://dl.acm.org/citation.cfm?id=3330023

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Cut-elimination and normal-form theorems (03F05)

Related Items

Uniform interpolation from cyclic proofs: the case of modal mu-calculus, Cyclic hypersequent calculi for some modal logics with the master modality, A focus system for the alternation-free \(\mu \)-calculus, Semirings of Evidence, Fixed point logics and definable topological properties, Fixed point logics and definable topological properties, Abstract cyclic proofs, Completeness for \(\mu\)-calculi: a coalgebraic approach, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017, Loop-type sequent calculi for temporal logic, Coinduction in Flow: The Later Modality in Fibrations, Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics, Unnamed Item, Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs, Non-well-founded deduction for induction and coinduction, Unnamed Item, NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC, Integrating induction and coinduction via closure operators and proof cycles, Loop-check specification for a sequent calculus of temporal logic