Cyclic Proofs for Linear Temporal Logic

DOI10.1515/9781501502620-011zbMath1433.03052OpenAlexW2506525304MaRDI QIDQ5221853

Ioannis Kokkinis, Thomas Studer

Publication date: 3 April 2020

Published in: Concepts of Proof in Mathematics, Philosophy, and Computer Science (Search for Journal in Brave)

Full work available at URL: https://boris.unibe.ch/85668/1/ks16.pdf

zbMATH Keywords

proof theorytemporal logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Temporal logic (03B44)

Related Items (5)

Uniform interpolation from cyclic proofs: the case of modal mu-calculus ⋮ More efficient proof-search for sequents of temporal logic ⋮ Loop-type sequent calculi for temporal logic ⋮ The Proof Theory of Common Knowledge ⋮ Loop-check specification for a sequent calculus of temporal logic

This page was built for publication: Cyclic Proofs for Linear Temporal Logic