Journal of Logic and Computation
Collection
Collection
- ISSN: 0955-792X
Published by Oxford U.P.
-
Modal logic, transition systems and processes Article
Journal of Logic and Computation, 4(5), 811-855.J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan) and V. Stebletsova
January 1994 -
Counting objects Article
Journal of Logic and Computation, 5(3), 325-345.January 1995 -
A geometric proof of confluence by decreasing diagrams In Proceedings
J.W. Klop (Jan Willem), V. van Oostrom (Vincent) and R. de Vrijer
January 2000
-
Normal forms for characteristic functions on n-ary relations Article
Journal of Logic and Computation, 85-98.January 2005 -
January 2007
-
Social network games Article
Journal of Logic and Computation, 25(1), 207-242.January 2015
-
Symbolic model checking for dynamic epistemic logic — S5 and beyond In Proceedings
J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan), M. Gattinger (Malvin) and K. Su (Kaile)
October 2015 -
A temporal dynamic deontic logic Article
Journal of Logic and Computation, 29(2), 265-284.March 2018