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

Natural Deduction Calculus for Linear-Time Temporal Logic

2006 ◽  
pp. 56-68 ◽  
Author(s):  
Alexander Bolotov ◽  
Artie Basukoski ◽  
Oleg Grigoriev ◽  
Vasilyi Shangin
Keyword(s):  
Temporal Logic ◽  
Natural Deduction ◽  
Linear Time ◽  
Linear Time Temporal Logic

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

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
Sign in / Sign up

Export Citation Format

Share Document