Home Advanced Search

Advanced Search - Page 1

Diamonds and Defaults: Studies in Pure and Applied Intensional Logic
  • PDF
  • English
  • Year: 1993
  • Author: Johan van Benthem (auth.), Maarten de Rijke (eds.)
Advances in Intensional Logic
  • PDF
  • English
  • Year: 1997
  • Author: Johan Van Benthem, Natasha Alechina (auth.), Maarten de Rijke (eds.)
Language in Action: Categories, Lambdas and Dynamic Logic
  • PDF
  • English
  • Year: 1991
  • Author: Johan van Benthem (Eds.)
Essays in Logical Semantics
  • PDF
  • English
  • Year: 1986
  • Author: Johan Van Benthem (auth.)
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
  • PDF
  • English
  • Year: 1989
  • Author: Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
  • DJVU
  • English
  • Year: 1989
  • Author: Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
Specifying Syntactic Structures
  • PDF
  • English
  • Year: 1997
  • Author: Patrick Blackburn & Maarten de Rijke (eds.)
Extending Modal Logic [PhD Thesis]
  • PDF
  • English
  • Year: 1993
  • Author: Maarten de Rijke
Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Johan van Benthem (auth.), R. Ramanujam, Sundar Sarukkai (eds.)