External Links

    Journal: Journal of Logic and Computation

    Volume 12, Issue 5

    701 -- 745Yonit Kesten, Amir Pnueli. Complete Proof System for QPTL
    747 -- 771Birgit Elbl. Lazy List Comprehension in Logic Programming
    773 -- 808Sébastien Konieczny, Ramón Pino Pérez. Merging Information Under Constraints: A Logical Framework
    809 -- 838Holger Sturm, Frank Wolter. A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case
    839 -- 859Arkadi Estrin, Michael Kaminski. The Expressive Power of Temporal Logic of Actions
    861 -- 884Stéphane Demri, Rajeev Goré. Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics
    885 -- 909Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro. Tractability Results in the Block Algebra
    runs on