Journal of Logic and Computation, 0955-792X

Journal

Publications

  1. 2020
  2. 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 journalArticle

  3. 2015
  4. 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 journalArticle

  5. 2014
  6. 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 journalArticle

  7. 2004
  8. 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

  9. 2002
  10. 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