scientific article; zbMATH DE number 2196589
From MaRDI portal
Publication:5465439
zbMath1083.03022MaRDI QIDQ5465439
Publication date: 22 August 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessBüchi automataproof systemsaxiomatizationquantified propositional temporal logicRabin automatapast temporal operators
Related Items
Functional Specification of Hardware via Temporal Logic, A sound and complete proof system for a unified temporal logic, A decision procedure and complete axiomatization for projection temporal logic