An infinite hierarchy of temporal logics over branching time

DOI10.1006/INCO.2001.2970zbMATH Open1005.03022OpenAlexW1965230791MaRDI QIDQ1854487FDOQ1854487

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
• Title not available (Why is that?)
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• An application of games to the completeness problem for formalized theories
• “Sometimes” and “not never” revisited
• Title not available (Why is that?)
• Title not available (Why is that?)
• The temporal logic of branching time
• Modalities for model checking: Branching time logic strikes back
• Title not available (Why is that?)
• Buy one, get one free!!!
• Title not available (Why is that?)
• The decision problem for branching time logic
• An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
• An infinite hierarchy of temporal logics over branching time
• Title not available (Why is that?)

Cited In (12)

• EXTENDED TEMPORAL LOGICS ON FINITE TREES
• An infinite hierarchy of temporal logics over branching time
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)