External Links

    Journal: Journal of Logic and Computation

    Volume 10, Issue 6

    743 -- 786Jonas Barklund, Pierangelo Dell Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone. Reflection principles in computational logic
    787 -- 821Luca Spalazzi, Paolo Traverso. A dynamic logic for acting, sensing, and planning
    823 -- 845Radim Belohlávek. Similarity relations in concept lattices
    847 -- 876Marcelo Finger. A logical reconstruction of temporal databases
    877 -- 895Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro. A mixed decision method for duration calculus

    Volume 10, Issue 5

    625 -- 662Laura Giordano, Alberto Martelli, Camilla Schwind. Ramification and causality in a modal action logic
    663 -- 675John Derrick. A single complete refinement rule for Z
    677 -- 703Anthony Hunter. Reasoning with contradictory information using quasi-classical logic
    705 -- 719Joeri Engelfriet. Non-cumulative reasoning: rules and models
    721 -- 738Fairouz Kamareddine. Postponement, conservation and preservation of strong normalization for generalized reduction

    Volume 10, Issue 4

    493 -- 526Giuseppe Longo, Kathleen Milsted, Sergei Soloviev. Coherence and transitivity of subtyping as entailment
    527 -- 572Erika F. de Lima, Christoph Lingenfelder. Presentation of proofs in modal natural deduction
    573 -- 581Karl Schlechta. Unrestricted preferential structures
    583 -- 602Love Ekenberg. The logic of conflicts between decision making agents
    603 -- 619Pavlos Peppas, Norman Y. Foo, Abhaya C. Nayak. Measuring similarity in belief revision

    Volume 10, Issue 3

    321 -- 322Fairouz Kamareddine, Jan Willem Klop. Editorial
    323 -- 348John R. W. Glauert, Richard Kennaway, Zurab Khasidashvili. Stable results and relative normalization
    349 -- 380Fairouz Kamareddine, Alejandro Ríos. Relating the [lgr][sgr]- and [lgr]s-styles of explicit substitutions
    381 -- 410Zurab Khasidashvili, Adolfo Piperno. A syntactical analysis of normalization
    411 -- 436A. J. Kfoury. A linearization of the Lambda-calculus and consequences
    437 -- 460Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer. A geometric proof of confluence by decreasing diagrams
    461 -- 487Paul-André Melliès. Axiomatic rewriting theory II: the [lgr][sgr]-calculus enjoys finite normalisation cones

    Volume 10, Issue 2

    173 -- 207Eike Ritter, David J. Pym, Lincoln A. Wallen. Proof-terms for classical and intuitionistic resolution
    209 -- 212John T. Baldwin. Stability, the finite cover property and 0-1 laws
    213 -- 222Stefano Aguzzoli, Agata Ciabattoni, Antonio di Nola. Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions
    223 -- 251Frank Wolter. The product of converse PDL and polymodal K
    253 -- 269Kaile Su, Huowang Chen, Decheng Ding. Two alternative notions of possibility satisfying Halpern s conditions
    271 -- 295Rana Barua, Suman Roy, Chaochen Zhou. Completeness of neighbourhood logic
    297 -- 313B. O. Akinkunmi. On the expressive limits of reified theories

    Volume 10, Issue 1

    3 -- 42Peter G. Harrison, B. Strulo. SPADES - a process algebra for discrete event simulation
    43 -- 73Martin C. Henson, Steve Reeves. Investigating Z
    75 -- 104Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli. Object calculi in linear logic
    105 -- 135Klaus U. Schulz. Tractable and intractable instances of combination problems for unification and disunification
    137 -- 168Patrick Blackburn. Internalizing labelled deduction
    runs on