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 5, October 2002

Complete Proof System for QPTL
Yonit Kesten and Amir Pnueli
pp. 701-745
Abstract Full-Text PDF (398 KB)

Lazy List Comprehension in Logic Programming
Birgit Elbl
pp. 747-771
Abstract Full-Text PDF (262 KB)

Merging Information Under Constraints: A Logical Framework
Sébastien Konieczny and Ramón Pino Pérez
pp. 773-808
Abstract Full-Text PDF (306 KB)

A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case
Holger Sturm and Frank Wolter
pp. 809-838
Abstract Full-Text PDF (306 KB)

The Expressive Power of Temporal Logic of Actions
Arkady Estrin and Michael Kaminski
pp. 839-859
Abstract Full-Text PDF (203 KB)

Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics
Stéphane Demri and Rajeev Goré
pp. 861-884
Abstract Full-Text PDF (231 KB)

Tractability Results in the Block Algebra
Philippe Balbiani, Jean-François Condotta and Luis Fariñas Del Cerro
pp. 885-909
Abstract Full-Text PDF (235 KB)

Forthcoming Papers
pp. 911-912
Full-Text PDF (25 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