Search results

• Finished

  Specifying and checking models of satisfaction in temporal logics of programs

  Gabbay, D.

  1/08/2010 → 31/01/2011

  Project: Research

• Combining logic and quantification.

  Gabbay, D.

  1/07/2010 → 31/08/2011

  Project: Research

• Logical properties of probablistic satisfiability

  Gabbay, D.

  1/07/2010 → 31/08/2011

  Project: Research

• Accessible and correct Internet systems

  Lano, K. & Gabbay, D.

  1/01/2010 → 31/12/2012

  Project: Research

• Integrating logic and network reasoning

  Gabbay, D., Barringer, H. & Modgil, S.

  1/09/2009 → 31/08/2011

  Project: Research

• New information change techniques inspired by voting methodologies

  Rodrigues, O. & Gabbay, D.

  1/09/2009 → 31/08/2012

  Project: Research

• Hilbert's Epsilon

  Gabbay, D.

  1/07/2009 → 30/06/2011

  Project: Research

• Britain-Israel research and academic exchange partnership

  Gabbay, D. & Zamansky, A.

  1/07/2009 → 30/06/2010

  Project: Research

• Logical tools for handling change in agent-based systems

  Gabbay, D.

  1/07/2009 → 30/06/2011

  Project: Research

• The new logic of decision making

  Rodrigues, O. & Gabbay, D.

  1/03/2009 → 29/02/2012

  Project: Research

• Quantum Logic-2

  Gabbay, D.

  1/02/2009 → 31/01/2010

  Project: Research

• The new logic of decision making

  Rodrigues, O. & Gabbay, D.

  12/01/2009 → 11/01/2012

  Project: Research

• Non-determinism and logical systems

  Gabbay, D.

  1/01/2009 → 30/06/2010

  Project: Research

• Role of fallacies in agent based systems

  Gabbay, D.

  1/11/2008 → 30/04/2010

  Project: Research

• EUROCORES LogiCCC: collaboration led by Robin Cooper/Integra: Integrating Repair in Grammar.

  Ginzburg, J. & Gabbay, D.

  1/06/2008 → 31/05/2011

  Project: Research

• New principles of logic: reasoning at different levels.

  Gabbay, D.

  Leverhulme Trust

  1/04/2007 → 31/03/2010

  Project: Research

• Deductive verification of CTL properties

  Gabbay, D.

  EPSRC Engineering and Physical Sciences Research Council

  1/05/2005 → 30/04/2006

  Project: Research

• Quantification in Non-classical Logic

  Gabbay, D.

  EPSRC Engineering and Physical Sciences Research Council

  1/01/2005 → 31/12/2005

  Project: Research

• Second Order Quantifier Elimination

  Gabbay, D.

  EPSRC Engineering and Physical Sciences Research Council

  1/01/2005 → 31/12/2005

  Project: Research

• Quantum logic and revision theory

  Gabbay, D.

  EPSRC Engineering and Physical Sciences Research Council

  1/11/2004 → 31/10/2005

  Project: Research

• Proof procedures based on graphs

  Gabbay, D.

  EPSRC Engineering and Physical Sciences Research Council

  1/06/2004 → 30/09/2005

  Project: Research

• Interpolation and Definability

  Gabbay, D.

  EPSRC Engineering and Physical Sciences Research Council

  1/03/2004 → 31/08/2004

  Project: Research

• The Sixth Augustus De Morgan Conference: Logic and Law

  Gabbay, D.

  EPSRC Engineering and Physical Sciences Research Council

  14/02/2004 → 2/05/2005

  Project: Research

• Probability and Proof

  Gabbay, D. & Williamson, J.

  EPSRC Engineering and Physical Sciences Research Council

  1/01/2004 → 31/01/2005

  Project: Research

• The fifth Augustus De Morgan conference: knowledge representation and the reasoning agent

  Gabbay, D.

  EPSRC Engineering and Physical Sciences Research Council

  3/11/2003 → 2/12/2003

  Project: Research

• Adductive models for cognitive agents II

  Gabbay, D.

  EPSRC Engineering and Physical Sciences Research Council

  1/11/2003 → 31/12/2004

  Project: Research

• From Knowledge Fusion to Social Choice Theory

  Gabbay, D. & Pigozzi, G.

  ESRC Economic and Social Research Council

  1/10/2003 → 31/01/2006

  Project: Research

• Dialogue Dynamics I: A pilot project

  Gabbay, D. & Pinner, R.

  ESRC Economic and Social Research Council

  1/10/2003 → 30/09/2004

  Project: Research

• 4th De Morgan Conference: Combining Probability and Logic

  Gabbay, D.

  LMS London Mathematical Society

  1/11/2002 → 30/11/2002

  Project: Research

• Adductive Models for Cognitive Agents

  Gabbay, D.

  EPSRC Engineering and Physical Sciences Research Council

  1/01/2002 → 31/12/2002

  Project: Research

• Network of Excellence in Computational Logic (CologNet)

  Gabbay, D.

  EC European Commission

  1/01/2002 → 31/12/2004

  Project: Research

• Analysis and Mechanisation of Decidable First-order Temporal Logics

  Gabbay, D., Zakharyaschev, M. & Hodkinson, I.

  EPSRC Engineering and Physical Sciences Research Council

  1/10/2001 → 31/03/2004

  Project: Research

• Many-dimensional modal logics and finite model theory.

  Gabbay, D. & Daward, A.

  EPSRC Engineering and Physical Sciences Research Council

  1/06/2000 → 31/05/2003

  Project: Research

• GNOSIOGENESIS.

  Gabbay, D.

  EC European Commission

  1/10/1999 → 31/07/2001

  Project: Research

• Data driven logic algorithms

  Gabbay, D. & academic, A.

  EPSRC Engineering and Physical Sciences Research Council

  1/10/1998 → 30/09/2001

  Project: Research