Extended temporal logic revisited

DOI10.1007/3-540-44685-0_35MaRDI QIDQ4791853zbMATH OpenFDO

Authors Orna Kupferman, Nir Piterman, Moshe Y. Vardi

Publication date 3 February 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2154/21540519.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Extended computation tree logic
• Buy one, get one free!!!
• On Regular Temporal Logics with Past,
• Buy one, get one free!!!
• Temporal logic can be more expressive

Cited in

(14)

• Partially ordered two-way Büchi automata
• Size-change termination and satisfiability for linear-time temporal logics
• Automata theory and model checking
• Temporal logic can be more expressive
• On Regular Temporal Logics with Past,
• Buy one, get one free!!!
• EXTENDED TEMPORAL LOGICS ON FINITE TREES
• On the Model Checking Problem for Some Extension of CTL*
• Propositional Dynamic Logic for Hyperproperties
• GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
• On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic
• Temporal logics with language parameters
• A quantitative extension of interval temporal logic over infinite words
• On regular temporal logics with past

This page was built for publication: Extended temporal logic revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4791853)