Oxford Journals
tools journals homepage advanced search contact help
Journal of Logic and Computation: Current Issue
 
home
browse
current
etoc
authors
subinfo
subscribers
samples

OUP > Journals > Computing/Engineer. & Mathematics/Stats. > Journal of Logic and Computation

Journal of Logic and Computation

Volume 12, Issue 4, August 2002

Verifying Concurrent Systems with Symbolic Execution
Michael Balser, Christoph Duelli, Wolfgang Reif and Gerhard Schellhorn
pp. 549-560
Abstract Full-Text PDF (142 KB)

On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms
Alexander Bolotov, Michael Fisher and Clare Dixon
pp. 561-581
Abstract Full-Text PDF (232 KB)

Linear Tense Logics of Increasing Sets
Bernhard Heinemann
pp. 583-606
Abstract Full-Text PDF (233 KB)

Extending CTL with Actions and Real Time
David N. Jansen and Roel J. Wieringa
pp. 607-621
Abstract Full-Text PDF (173 KB)

Model Checking Games for Branching Time Logics
Martin Lange and Colin Stirling
pp. 623-639
Abstract Full-Text PDF (171 KB)

Extending Kamp's Theorem to Model Time Granularity
Angelo Montanari, Adriano Peron and Alberto Policriti
pp. 641-677
Abstract Full-Text PDF (479 KB)

Axioms for Branching Time
Mark Reynolds
pp. 679-697
Abstract Full-Text PDF (195 KB)

Forthcoming Papers
pp. 699-700
Full-Text PDF (33 KB)

Oxford University Press
Published by Oxford University Press
Copyright ©Oxford University Press 2003
Print ISSN: 0955-792X  Online ISSN: 1465-363X.
Oxford University Press Privacy Policy and Legal Statement