Resolution for branching time temporal logics: applying the temporal resolution rule

2002 ◽  
Author(s):  
A. Bolotov ◽  
C. Dixon
Keyword(s):  
Temporal Resolution ◽  
Branching Time ◽  
Temporal Logics ◽  
Resolution Rule

scholarly journals On the expressivity and complexity of quantitative branching-time temporal logics

2003 ◽  
Vol 297 (1-3) ◽  
pp. 297-315 ◽  
Author(s):  
F. Laroussinie ◽  
Ph. Schnoebelen ◽  
M. Turuani
Keyword(s):  
Branching Time ◽  
Temporal Logics

Branching-Time Temporal Logics

2016 ◽  
pp. 209-270
Author(s):  
Stephane Demri ◽  
Valentin Goranko ◽  
Martin Lange
Keyword(s):  
Branching Time ◽  
Temporal Logics

scholarly journals An Infinite Hierarchy of Temporal Logics over Branching Time

2001 ◽  
Vol 171 (2) ◽  
pp. 306-332 ◽  
Author(s):  
Alexander Rabinovich ◽  
Shahar Maoz
Keyword(s):  
Branching Time ◽  
Temporal Logics ◽  
Infinite Hierarchy

scholarly journals Regular Trace Event Structures

1996 ◽  
Vol 3 (32) ◽  
Author(s):  
P. S. Thiagarajan
Keyword(s):  
Petri Nets ◽  
Event Structure ◽  
Branching Time ◽  
Temporal Logics ◽  
Event Structures ◽  
Starting Point

We propose trace event structures as a starting point for constructing effective branching time temporal logics in a non-interleaved setting. As a first step towards achieving this goal, we define the notion of a regular trace event structure. We then provide some simple characterizations of this notion of regularity both in terms of recognizable trace languages and in terms of finite 1-safe Petri nets.

Sign in / Sign up

Export Citation Format

Share Document