Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 489
Number of items: 489
  • Open Access
    van Ulsen, P. (2000). E.W. Beth als logicus. [Thesis, fully internal, Universiteit van Amsterdam]. ILLC dissertation series 2000-04.
  • Open Access
    Areces, C. E. (2000). Logic Engineering. The Case of Description and Hybrid Logics. [Thesis, fully internal, Universiteit van Amsterdam]. ILLC dissertation series 2000-05.
  • van Benthem, J. F. A. K. (1999). Logical Constants, Computation and Simulation Invariance. In T. Childers (Ed.), The Logica 98 Yearbook (pp. 11-19). Czech Academy of Sciences.
  • van Benthem, J. F. A. K. (1999). Wider Still and Wider: resetting the bounds of logic. In The European Review of Philosophy (pp. 21-44). CSLI Publications.
  • van Benthem, J. F. A. K. (1999). Modal Foundations for Predicate Logic. In Logic at Work, To the Memory of Elena Rasiowa (pp. 39-54). Physica Verlag.
  • Barwise, J., & van Benthem, J. F. A. K. (1999). Interpolation, Preservation, and Pebble Games. Journal of Symbolic Logic, 64(2), 881-903. https://doi.org/10.2307/2586507
  • van Benthem, J. F. A. K. (1999). Modality, Bisimulation and Interpolation in Infinitary Logic. Annals of Pure and Applied Logic, 96, 29-41. https://doi.org/10.1016/S0168-0072(98)00029-3
  • van Benthem, J. F. A. K. (1999). Temporal Patterns and Modal Structure. Logic Journal of the IGPL, 7(1), 7-26.
  • van Benthem, J. F. A. K. (1999). The Range of Modal Logic. Journal of Applied Non-Classical Logics, 9(2-3), 407-442.
  • van Benthem, J. F. A. K. (1999). Boeken Top Drie. Natuur & Techniek, 67(11).
Page 34 of 49