8 search results - page 1 / 2 » Linear, Branching Time and Joint Closure Semantics for Tempo... |
77
Voted
JOLLI
2002
14 years 10 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
71
Voted
IGPL
2007
14 years 10 months ago
2007
INFORMATICALT
2007
14 years 10 months ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
108
Voted
TCS
1998
14 years 10 months ago
1998
A method is described for proving “always possibly” properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA...
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...