Dov M. Gabbay
Autor von "A New Perspective on Nonmonotonic Logics", "Reactive Kripke Semantics" und "Conditionals and Modularity in General Logics" und weiteren Büchern.
The first author is one of the foremost authorities on nonclassical logics and their applications in computing, the second author has written three related research monographs.
Logical Tools for Handling Change in Agent-Based Systems
Softcover
erschienen am 01.03.2012
Semantical Investigations in Heyting's Intuitionistic Logic
Softcover
erschienen am 25.12.2010
