Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Reynolds, M.
2000.
More past glories [temporal logic].
p.
229.
Pnueli, Amir
and
Kesten, Yonit
2002.
CONCUR 2002 — Concurrency Theory.
Vol. 2421,
Issue. ,
p.
24.
Wölfl, Stefan
2002.
Propositional Q-Logic.
Journal of Philosophical Logic,
Vol. 31,
Issue. 5,
p.
387.
Goldblatt, Robert
2003.
Mathematical modal logic: A view of its evolution.
Journal of Applied Logic,
Vol. 1,
Issue. 5-6,
p.
309.
Davoren, Jennifer M.
Coulthard, Vangham
Markey, Nicolas
and
Moor, Thomas
2004.
Hybrid Systems: Computation and Control.
Vol. 2993,
Issue. ,
p.
280.
Baratella, Stefano
and
Masini, Andrea
2004.
An approach to infinitary temporal proof theory.
Archive for Mathematical Logic,
Vol. 43,
Issue. 8,
p.
965.
Reynolds, Mark
2005.
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science.
Vol. 3821,
Issue. ,
p.
384.
Clancy, Dan
and
Kuipers, Benjamin
2005.
Vol. 1,
Issue. ,
p.
655.
Brait, S.
Fummi, F.
and
Pravadelli, G.
2005.
On the use of a high-level fault model to analyze logical consequence of properties.
p.
220.
Reynolds, Mark
2005.
An axiomatization of PCTL*.
Information and Computation,
Vol. 201,
Issue. 1,
p.
72.
Kesten, Yonit
and
Pnueli, Amir
2005.
A compositional approach to CTL* verification.
Theoretical Computer Science,
Vol. 331,
Issue. 2-3,
p.
397.
Zanardo, Alberto
2006.
Quantification over Sets of Possible Worlds in Branching-Time Semantics.
Studia Logica,
Vol. 82,
Issue. 3,
p.
379.
Goldblatt, Robert
2006.
Logic and the Modalities in the Twentieth Century.
Vol. 7,
Issue. ,
p.
1.
Fummi, Franco
and
Pravadelli, Graziano
2007.
Too Few or Too Many Properties? Measure it by ATPG!.
Journal of Electronic Testing,
Vol. 23,
Issue. 5,
p.
373.
French, Tim
Mc Cabe-Dansted, John C.
and
Reynolds, Mark
2007.
Frontiers of Combining Systems.
Vol. 4720,
Issue. ,
p.
193.
Goranko, Valentin
and
Otto, Martin
2007.
Handbook of Modal Logic.
Vol. 3,
Issue. ,
p.
249.
Areces, Carlos
and
ten Cate, Balder
2007.
Handbook of Modal Logic.
Vol. 3,
Issue. ,
p.
821.
Castro, Pablo F.
and
Maibaum, T.S.E.
2007.
An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers.
p.
151.
Hodkinson, Ian
and
Reynolds, Mark
2007.
Handbook of Modal Logic.
Vol. 3,
Issue. ,
p.
655.
Tsai, Ming-Hsien
and
Wang, Bow-Yaw
2007.
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues.
Vol. 4435,
Issue. ,
p.
316.