Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions

DOI10.1007/978-3-540-79228-4_4zbMath1140.03305OpenAlexW1564030757MaRDI QIDQ3502632

Cong Tian, Zhenhua Duan

Publication date: 27 May 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79228-4_4

zbMATH Keywords

expressivenessBüchi automata\(\omega \)-regular expressionPropositional Projection Temporal Logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44)

Related Items (6)

A canonical form based decision procedure and model checking approach for propositional projection temporal logic ⋮ Model checking open systems with alternating projection temporal logic ⋮ Verify heaps via unified model checking ⋮ Axiomatic semantics of projection temporal logic programs ⋮ Bounded model checking of traffic light control system ⋮ PPTL specification mining based on LNFG

This page was built for publication: Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions