Journal of Logic and Computation

ISSNs: 0955-792X

Additional searchable ISSN (Electronic): 1465-363X

Oxford University Press, United Kingdom

BFI (2020): BFI-level 2, Scopus rating (2018): CiteScore 0.79 SJR 0.436 SNIP 0.81, Web of Science (2019): Indexed yes, ISI indexed (2013): ISI indexed yes

Central database

Journal

  1. 2018
  2. Published

    Many-valued hybrid logic. / Hansen, Jens Ulrik; Bolander, Thomas; Braüner, Torben.

    In: Journal of Logic and Computation, Vol. 28, No. 5, 2018, p. 883-908.

    Research output: Contribution to journalJournal article – Annual report year: 2018Researchpeer-review

  3. 2017
  4. Published

    Learning to Act: Qualitative Learning of Deterministic Action Models. / Bolander, Thomas; Gierasimczuk, Nina.

    In: Journal of Logic and Computation, Vol. 28, No. 2, 2017, p. 337-365.

    Research output: Contribution to journalJournal article – Annual report year: 2018Researchpeer-review

  5. 2015
  6. Published

    Completeness and Termination for a Seligman-style Tableau System. / Blackburn, Patrick Rowan; Bolander, Thomas; Braüner, Torben; Jørgensen, Klaus Frovin.

    In: Journal of Logic and Computation, Vol. 27, No. 1, 2015, p. 81-107.

    Research output: Contribution to journalJournal article – Annual report year: 2015Researchpeer-review

  7. 2010
  8. Published

    Tableaux for Logics of Subinterval Structures over Dense Orderings. / Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro.

    In: Journal of Logic and Computation, Vol. 20, No. 1, 2010, p. 133-166.

    Research output: Contribution to journalConference article – Annual report year: 2010Researchpeer-review

  9. 2007
  10. Published

    Termination for Hybrid Tableaus. / Bolander, Thomas; Blackburn, Patrick.

    In: Journal of Logic and Computation, Vol. 17, No. 3, 2007, p. 517-554.

    Research output: Contribution to journalJournal article – Annual report year: 2007Researchpeer-review

  11. 1992
  12. Published

    Bounded Fixed-Point Iteration. / Nielson, Hanne Riis; Nielson, Flemming.

    In: Journal of Logic and Computation, Vol. 2, No. 4, 1992, p. 441-464.

    Research output: Contribution to journalJournal article – Annual report year: 1992Researchpeer-review