MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Temporal Logic of Branching Time." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

30 documents found, showing 1 through 10. Next 10 →

ATOM

An Infinite Hierarchy of Temporal Logics over Branching Time
by Alexander Rabinovich, Shahar Maoz — 2000 — INFORMATION AND COMPUTATION
…An Infinite Hierarchy of Temporal Logics over Branching Time # Alexander Rabinovich and Shahar…
Cited by 5 (2 self) – Add To MetaCart

Translating Linear Temporal Logic to Deterministic omega-Automata
by Klaus Schneider — 1997 — GI/ITG/GMM Workshop Methoden des Entwurfs und der Verifikation digitaler Systeme
… for the specification of temporal behavior. In general, there are two main kinds of temporal logics: branching time…
Cited by 1 (1 self) – Add To MetaCart

Why so many Temporal Logics Climb up the Trees?
by Alexander Rabinovich, Er Rabinovich, Shahar Maoz — 2000 — In Proc. 25th
… temporal logics were suggested as branching time specification formalisms during the last 20 years…
Cited by 3 (3 self) – Add To MetaCart

Non-Definability of the Class of Complete Bundled Trees
by Alberto Zanardo, Via Belzoni, Mark Reynolds, Bruno Barcellan, Via G. Bruno, I- Padova — 1999
… of all bundled trees. Keywords: Temporal Logic, Branching-Time, Bundled Trees, Denability 1 Introduction…
Cited by 1 (0 self) – Add To MetaCart

On The Expressive Power Of Modal Logics On Trees
by Bernd-Holger Schlingloff — 1992
…, temporal logic, branching time logic, computation tree logic, CTL , propositional --calculus, L…
Cited by 9 (0 self) – Add To MetaCart

Model Checking Branching Time Logics
by Ph. Schnoebelen
…-94230 Cachan, France phs@(email omitted); Branching-time logics are temporal logics that allow…
Add To MetaCart

Decidable and Undecidable Fragments of First-Order Branching Temporal Logics
by Ian Hodkinson, Frank Wolter, Michael Zakharyaschev — 2002 — In Proc. 17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002
…-order extensions of branching time temporal logics such as computational tree logics CTL and CTL or Prior…
Cited by 8 (5 self) – Add To MetaCart

Min-max computation tree logic
by Pallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka, Sriram Sankaranarayanan — 2001 — Artificial Intelligence
… temporal logic and branching time temporal logic [5, 9]. Traditional temporal logics such as Linear…
Cited by 4 (3 self) – Add To MetaCart

On non-local propositional and weak monodic quantified
by Sebastian Bauer, Ian Hodkinson, Frank Wolter, Michael Zakharyaschev — CTL ∗ , J. Logic Computat
…://logcom.oxfordjournals.org/cgi/reprint/14/1/3 Abstract In this paper we prove decidability of two kinds of branching time temporal logics…
Cited by 3 (2 self) – Add To MetaCart

Temporal Logic with Past is Exponentially More Succinct
by Nicolas Markey — 2003
… into two general kinds: linear-time temporal logic and branching-time temporal logic [Lam80]. In linear-time…
Cited by 5 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB