Journal of Logic and Computation, 0955-792X

Journal

Related Publications
  1. Modal logics of sabotage revisited

    Aucher, G., Van Benthem, J. & Grossi, D., 1-Mar-2018, In : Journal of Logic and Computation. 28, 2, p. 269-303 35 p.

    Research output: Contribution to journalArticleAcademicpeer-review

  2. Editorial Reasons, argumentation and justification: DEON 2016 special issue (vol 29, pg 185, 2019)

    Roy, O., Tamminga, A. & Willer, M., Jan-2019, In : Journal of Logic and Computation. 29, 1, p. 185-185 1 p.

    Research output: Contribution to journalArticleAcademicpeer-review

  3. Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond

    Van Benthem, J., Van Eijck, J., Gattinger, M. & Su, K., Mar-2018, In : Journal of Logic and Computation. 28, 2, p. 367-402 36 p.

    Research output: Contribution to journalArticleAcademicpeer-review

  4. Interpolation in propositional Horn logic

    De Lavalette, G. R. R., Sep-2018, In : Journal of Logic and Computation. 28, 6, p. 1189-1215 27 p.

    Research output: Contribution to journalArticleAcademicpeer-review

  5. Introduction: Selected Papers from the 4th Workshop on Logic, Rationality and Interaction (LORI-4)

    Grossi, D. & Roy, O., Dec-2018, In : Journal of Logic and Computation. 28, 8, p. 1713-1714 2 p.

    Research output: Contribution to journalEditorialAcademicpeer-review

View all (22) »

ID: 73828059