Journal of Logic and Computation, ‎0955-792X

Journal

Publications

  1. Accepted/In press

    Steps and Traces

    Paul Levy, 3 Mar 2020, (Accepted/In press) In: Journal of Logic and Computation. 45 p.

    Research output: Contribution to journalArticlepeer-review

  2. Published

    Four-valued modal logic: Kripke semantics and duality

    Umberto Rivieccio, Achim Jung & , 15 Jun 2015, In: Journal of Logic and Computation. 43 p.

    Research output: Contribution to journalArticlepeer-review

  3. Published

    A proof-theoretic analysis of the classical propositional matrix method

    Eike Ritter & , 1 Feb 2014, In: Journal of Logic and Computation. 24, 1, p. 283-301 19 p.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    A Complete Proof System for First Order Interval Temporal Logic with Projection

    Dimitar Guelev, 1 Apr 2004, In: Journal of Logic and Computation. 14, 2, p. 215-249 35 p.

    Research output: Contribution to journalArticle

  5. Published

    Algorithmic solution of higher type equations

    Martin Escardo, Aug 2013, In: Journal of Logic and Computation. 23, 4, p. 839-854 16 p.

    Research output: Contribution to journalArticlepeer-review

  6. Published

    Operators and Laws for Combining Preference Relations

    Mark Ryan & , 1 Feb 2002, In: Journal of Logic and Computation. 12, 1, p. 13-53 41 p.

    Research output: Contribution to journalArticle