Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 489
Number of items: 489
  • Visser, A. P., van Benthem, J. F. A. K., de Jongh, D. H. J., & Renardel de Lavalette, G. (1995). NNIL, a study in intuitionistic propositional logic. In M. de Rijke, A. Ponse, & Y. Venema (Eds.), Modal Logic and process Algebra, a bisimulation perspective (pp. 289-326). Center for the Study of Language and Information.
  • van Benthem, J. F. A. K., Andreka, H., & Nemeti, I. (1995). Submodel Preservation Theorems in Finite-Variable Fragments. In M. de Rijke, A. Ponse, & Y. Venema (Eds.), Modal Logic and Process Algebra, CSLI Lecture Notes University Press.
  • van Benthem, J. F. A. K. (1995). Temporal Logic. In C. Hoggar, D. Gabbay, & J. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4 (pp. 241-350). University Press.
  • Groeneveld, W. (1995). Logical Investigations into Dynamic Semantics. [Thesis, fully internal, Faculteit der Wijsbegeerte]. ILLC UvA.
  • Marx, M. J. (1995). Algebraic Relativization and Arrow Logic. [Thesis, fully internal, Universiteit van Amsterdam]. ILLC dissertations Series.
  • Mikulas, S. (1995). Taming Logics. [Thesis, fully internal, Universiteit van Amsterdam].
  • Kalsbeek, M. B. (1995). Meta-Logics for Logic Programming. [Thesis, fully internal, Universiteit van Amsterdam].
  • Groeneveld, WILLEM. (1995). Logical Investigations in Dynamic Semantics. [Thesis, fully internal, Universiteit van Amsterdam].
  • Cepparello, GIOVANNA. (1995). Studies in Dynamic Logic. [Thesis, fully external, elders].
  • Meyer Viol, WILFRIED. (1995). Instantial Logic. [Thesis, fully external, elders].
Page 40 of 49