Logic Colloquium 90
Dav M. Gabbay · Journal of Logic and Computation · 1990
Journal Article Logic Colloquium 90 Get access D. M. GABBAY D. M. GABBAY Imperial College Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 1, Issue 2, December 1990, Pages 285–288, https://doi.org/10.1093/logcom/1.2.285 Published: 01 December 1990