Home Advanced Search

Advanced Search - Page 1

Elementary Logic with Applications: A Procedural Perspective for Computer Scientists
  • DJVU
  • English
  • Year: 2016
  • Author: D M Gabbay, O T Rodrigues
Revision, Acceptability and Context: Theoretical and Algorithmic Aspects
  • PDF
  • English
  • Year: 2010
  • Author: Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo (auth.)
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics [paper]
  • PDF
  • English
  • Year: 1996
  • Author: Gabbay, D. M
What is a Logical System?
  • DJVU
  • English
  • Year: 1994
  • Author: D. M. Gabbay (Editor)
Handbook of Philosophical Logic: Volume 16
  • PDF
  • English
  • Year: 2011
  • Author: Odinaldo Rodrigues, Dov Gabbay, Alessandra Russo (auth.), Dov M. Gabbay, Franz Guenthner (eds.)
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications
  • PDF
  • English
  • Year: 2008
  • Author: D. M. Gabbay, R. Schmidt, A. Szalas
Handbook of Temporal Reasoning in Artificial Intelligence
  • DJVU
  • English
  • Year: 2005
  • Author: M. Fisher, D. Gabbay and L. Vila (Eds.)
Handbook of Temporal Reasoning in Artificial Intelligence
  • PDF
  • English
  • Year: 2005
  • Author: M. Fisher, D. Gabbay and L. Vila (Eds.)
Handbook of Tableau Methods
  • PDF
  • English
  • Year: 1998
  • Author: D'Agostino M., Gabbay D., et al. (eds.)
Handbook of temporal reasoning in artificial intelligence
  • PDF
  • English
  • Year: 2005
  • Author: M. Fisher, D. Gabbay and L. Vila (Eds.)
search