Dov M. Gabbay

Conditionals and Modularity in General Logics

Uitverkocht

Dov M. Gabbay Conditionals and Modularity in General Logics

5,0

Logical tools for handling change in agent based systems

Uitverkocht

Dov M. Gabbay Logical tools for handling change in agent based systems

4,0

Goal-Directed Proof Theory

Uitverkocht

Dov M. Gabbay Goal-Directed Proof Theory

4,0

Practical reasoning

Uitverkocht

Dov M. Gabbay Practical reasoning

Qualitative and quantitative practical reasoning

Uitverkocht

Dov M. Gabbay Qualitative and quantitative practical reasoning

Logical Tools for Handling Change in Agent-Based Systems

Uitverkocht

Dov M. Gabbay Logical Tools for Handling Change in Agent-Based Systems

Reactive Kripke semantics

Uitverkocht

Dov M. Gabbay Reactive Kripke semantics

A New Perspective on Nonmonotonic Logics

Uitverkocht

Dov M. Gabbay A New Perspective on Nonmonotonic Logics

Semantical Investigations in Heyting's Intuitionistic Logic

Uitverkocht

Dov M. Gabbay Semantical Investigations in Heyting's Intuitionistic Logic

Meta-Logical Investigations in Argumentation Networks

Uitverkocht

Dov M. Gabbay Meta-Logical Investigations in Argumentation Networks