Temporal normal form for Linear Temporal Logic formulae1

DOI10.3233/IFS-151874zbMath1361.03012WikidataQ62038103 ScholiaQ62038103MaRDI QIDQ2988557

Huixian Shi, Yong-Ming Li

Publication date: 19 May 2017

Published in: Journal of Intelligent & Fuzzy Systems (Search for Journal in Brave)

zbMATH Keywords

characterlinear temporal logictransition systemtemporal normal form

Mathematics Subject Classification ID

Temporal logic (03B44) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Uses Software

• CESAR

Cites Work

• Unnamed Item
• Unnamed Item
• Model checking quantum Markov chains
• Lattice-valued modal propositional logic and its completeness
• Qualitative analysis of gene regulatory networks by temporal logic
• Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
• A topological characterization of consistency of logic theories in propositional logic
• Temporal Verification of Reactive Systems: Response
• Temporal logic and applications—a tutorial
• Logic in Computer Science

This page was built for publication: Temporal normal form for Linear Temporal Logic formulae1