Search results

• 2002

  Labelled natural deduction for conditional logics of normality

  Broda, K., Gabbay, D. M., Lamb, L. C. & Russo, A. M., 2002, In: LOGIC JOURNAL- IGPL. 10, 2, p. 123 - 163 41 p.

  Research output: Contribution to journal › Article › peer-review

  • Conditional Logic 100%
  • Natural Deduction 100%
  • Deductive System 20%

• Naming worlds in modal and temporal logic

  Gabbay, D. M. & Malod, G., 2002, In: Journal of Logic, Language & Information. 11, 1, p. 29 - 65 37 p.

  Research output: Contribution to journal › Article › peer-review

  • time point η 100%
  • Temporal Logic 100%
  • Complete 50%
  • Intuitive Notion 50%
  • World Point 50%
  13 Citations (Scopus)

• Products of modal logics Part 3: Products of modal and temporal logics

  Gabbay, D. & Shehtman, V., 2002, In: Studia Logica. 72, 2, p. 157 - 183 27 p.

  Research output: Contribution to journal › Article › peer-review
  12 Citations (Scopus)

• Quantum logic, Hilbert space, revision theory

  Engesser, K. & Gabbay, D. M., Mar 2002, In: ARTIFICIAL INTELLIGENCE. 136, 1, p. 61 - 100 40 p.

  Research output: Contribution to journal › Article › peer-review

  • Quantum Logic 100%
  • Consequence Relation 100%
  • Classical Logic 20%
  • Operators 20%
  • Lattices 20%
  23 Citations (Scopus)
• 2001

  Encoding two valued non-classical logic in classical logic

  Gabbay, D., Ohlbach, H., Nonnengart, A., de Rijke, M., Robinson, J. A. (ed.) & Voronkov, A. (ed.), 2001, In: Handbook of Automated Deduction. 1, p. 1403 - 1486 84 p.

  Research output: Contribution to journal › Article › peer-review

• Interpolation in Practical Formal Development

  Gabbay, D., Bicarregui, J. & Maibaum, T., 2001, In: LOGIC JOURNAL- IGPL. 9, p. 231 - 244 14 p.

  Research output: Contribution to journal › Article › peer-review

• More on non-cooperationin dialogue logic

  Gabbay, D. & Woods, J., 2001, In: LOGIC JOURNAL- IGPL. 9, p. 141 - 174 34 p.

  Research output: Contribution to journal › Article › peer-review

• More on non-cooperation in dialogue logic

  Gabbay, D. M. & Woods, J., 2001, In: Logic Journal of the IGPL. 9, 2, p. 321-339 19 p.

  Research output: Contribution to journal › Article › peer-review

• Non-cooperation in dialogue logic

  Gabbay, D. & Woods, J., 2001, In: SYNTHESE. 127, 1/2, p. 161 - 186 26 p.

  Research output: Contribution to journal › Article › peer-review

• Symbolic knowledge extraction from trained neural networks: A new approach

  D'Avila Garcez, A. S., Broda, K. & Gabbay, D. M., Jan 2001, In: ARTIFICIAL INTELLIGENCE. 125, 1, p. 155 - 205 51 p.

  Research output: Contribution to journal › Article › peer-review

  • Trained Neural Network 100%
  • Symbolics 100%
  • Algorithms 80%
  • Regular Network 80%
  • Neural Network 40%
  173 Citations (Scopus)

• The New Logic

  Gabbay, D. & Woods, J., 2001, In: LOGIC JOURNAL- IGPL. 99, p. 141 - 174 34 p.

  Research output: Contribution to journal › Article › peer-review
• 2000

  Conditional reasoning in logic programming

  Gabbay, D., Giordano, L., Martelli, A., Olivetti, N. & Sapino, M. L., 1 Jul 2000, In: JOURNAL OF LOGIC PROGRAMMING. 44, 1-3, p. 37 - 74 38 p.

  Research output: Contribution to journal › Article › peer-review

  • Reasoning 100%
  • Knowledge Base 100%
  • Logic Programming 100%
  • Counterfactual Reasoning 33%
  • Conditional Logic 33%
  13 Citations (Scopus)

• On modal logics characterized by models with relative accessibility relations. I

  Demri, S. & Gabbay, D., 2000, In: Studia Logica. ol.65, .3, p. 323 - 353 31 p.

  Research output: Contribution to journal › Article › peer-review

  7 Citations (Scopus)

• On modal logics characterized by models with relative accessibility relations. II

  Demri, S. & Gabbay, D., 2000, In: Studia Logica. ol.66, .3, p. 349 - 384 36 p.

  Research output: Contribution to journal › Article › peer-review

  5 Citations (Scopus)