scientific article
From MaRDI portal
Publication:3358711
zbMath0732.03014MaRDI QIDQ3358711
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenesscut-eliminationlinear temporal logictemporal logicssequential calculusinfinitary calculi
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05)
Related Items (5)
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 ⋮ Syntactic Cut-elimination for Common Knowledge ⋮ Loop-check specification for a sequent calculus of temporal logic
This page was built for publication:
