An infinite hierarchy of temporal logics over branching time

DOI10.1006/INCO.2001.2970MaRDI QIDQ1854487zbMATH OpenOpenAlexFDO

Authors Alexander Rabinovich, Shahar Maoz

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/332aabcea322e5ce078647b1d4583d170da21350

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Second- and higher-order model theory (03C85)

Recommendations

• scientific article; zbMATH DE number 1759449
• scientific article; zbMATH DE number 4119600
• Arity hierarchy for temporal logics
• A hierarchy of temporal logics with past
• Branching-depth hierarchies

Cites work

• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3876574 (Why is no real title available?)
• scientific article; zbMATH DE number 4027441 (Why is no real title available?)
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 3714896 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 3767656 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1302020 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 1759449 (Why is no real title available?)
• scientific article; zbMATH DE number 803291 (Why is no real title available?)
• scientific article; zbMATH DE number 1424034 (Why is no real title available?)
• scientific article; zbMATH DE number 3078993 (Why is no real title available?)
• An application of games to the completeness problem for formalized theories
• An infinite hierarchy of temporal logics over branching time
• An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Buy one, get one free!!!
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Modalities for model checking: Branching time logic strikes back
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
• The decision problem for branching time logic
• The temporal logic of branching time
• “Sometimes” and “not never” revisited

Cited in

(12)

• EXTENDED TEMPORAL LOGICS ON FINITE TREES
• An infinite hierarchy of temporal logics over branching time
• scientific article; zbMATH DE number 1975376 (Why is no real title available?)
• An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
• \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\)
• A hierarchy of temporal logics with past
• Branching-depth hierarchies
• Undivided and indistinguishable histories in branching-time logics
• scientific article; zbMATH DE number 1759449 (Why is no real title available?)
• Branching-time logics repeatedly referring to states
• Arity hierarchy for temporal logics
• Branching-time logics with path relativisation

This page was built for publication: An infinite hierarchy of temporal logics over branching time

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