Publication:3358711
From MaRDI portal
zbMath0732.03014MaRDI QIDQ3358711
Publication date: 1990
completeness; cut-elimination; linear temporal logic; temporal logics; sequential calculus; infinitary calculi
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
03F05: Cut-elimination and normal-form theorems
Related Items
Syntactic Cut-elimination for Common Knowledge, The Recursion Scheme from the Cofree Recursive Comonad, Syntactic cut-elimination for a fragment of the modal mu-calculus, Syntactic cut-elimination for common knowledge, Loop-check specification for a sequent calculus of temporal logic