branching temporal logic
Recently Published Documents

TOTAL DOCUMENTS

6
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Robust Vacuity for Branching Temporal Logic

2012 ◽  
Vol 13 (1) ◽  
pp. 1-32 ◽  
Author(s):  
Arie Gurfinkel ◽  
Marsha Chechik
Keyword(s):  
Temporal Logic ◽  
Branching Temporal Logic

Labelled natural deduction for a bundled branching temporal logic

2010 ◽  
Vol 21 (6) ◽  
pp. 1093-1163 ◽  
Author(s):  
A. Masini ◽  
L. Vigano ◽  
M. Volpe
Keyword(s):  
Temporal Logic ◽  
Natural Deduction ◽  
Branching Temporal Logic

Fuzzy Branching Temporal Logic

2004 ◽  
Vol 34 (2) ◽  
pp. 1045-1055 ◽  
Author(s):  
S. Moon ◽  
K.H. Lee ◽  
D. Lee
Keyword(s):  
Temporal Logic ◽  
Branching Temporal Logic

Investigations on Fragments of First Order Branching Temporal Logic

2002 ◽  
Vol 48 (1) ◽  
pp. 51-62 ◽  
Author(s):  
Franco Montagna ◽  
G. Michele Pinna ◽  
B. P. Tiezzi
Keyword(s):  
Temporal Logic ◽  
First Order ◽  
Branching Temporal Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document