1

A New Perspective on Nonmonotonic Logics

by: Gabbay, Dov M.; Schlechta, Karl.
Cham : Springer International Publishing AG : [distributor] Springer-Verlag Berlin and Heidelberg GmbH & Co. KG : [distr...
Book
2

Reactive Kripke Semantics

by: Gabbay, Dov M.,
Berlin : Springer-Verlag Berlin and Heidelberg GmbH & Co. K : [distributor] Springer-Verlag Berlin and Heidelberg GmbH &...
Book
3

A new perspective on nonmonotonic logics

by: Gabbay, Dov M.,; Schlechta, Karl.
Cham : Springer International Publishing AG : [distributor] Springer-Verlag Berlin and Heidelberg GmbH & Co. KG : [distr...
Book
4

Conditionals and modularity in general logics

by: Gabbay, Dov M.,; Schlechta, Karl.
Berlin : Springer-Verlag Berlin and Heidelberg GmbH & Co. K : [distributor] Springer-Verlag Berlin and Heidelberg GmbH &...
Book
5

Reactive Kripke semantics

by: Gabbay, Dov M.,
Berlin : Springer-Verlag Berlin and Heidelberg GmbH & Co. K : [distributor] Springer-Verlag Berlin and Heidelberg GmbH &...
Book
6

Revision, acceptability and context: theoretical and algorithmic aspects

by: Gabbay, Dov M.,; Rodrigues, Odinaldo T.; Russo, Alessandra.
Berlin : Springer-Verlag Berlin and Heidelberg GmbH & Co. K : [distributor] Springer-Verlag Berlin and Heidelberg GmbH &...
Book
7

Logical tools for handling change in agent-based systems

by: Gabbay, Dov M.,; Schlechta, Karl.
Berlin : Springer-Verlag Berlin and Heidelberg GmbH & Co. K : [distributor] Springer-Verlag Berlin and Heidelberg GmbH &...
Book
8

Conditionals and modularity in general logics

by: Gabbay, Dov M.,; Schlechta, Karl.
Berlin : Springer-Verlag Berlin and Heidelberg GmbH & Co. K : [distributor] Springer-Verlag Berlin and Heidelberg GmbH &...
Book
9

Revision, acceptability and context: theoretical and algorithmic aspects

by: Gabbay, Dov M.,; Rodrigues, Odinaldo T.; Russo, Alessandra.
Berlin : Springer-Verlag Berlin and Heidelberg GmbH & Co. K : [distributor] Springer-Verlag Berlin and Heidelberg GmbH &...
Book
10

Goal-directed proof theory

by: Gabbay, Dov M.,; Olivetti, Nicola.
Dordrecht : Springer : [distributor] Springer-Verlag Berlin and Heidelberg GmbH & Co. KG : [distributor] CoInfo Book Ser...
Book
11

Semantical investigations in Heyting's intuitionistic logic

by: Gabbay, Dov M.,
Dordrecht : Springer : [distributor] Springer-Verlag Berlin and Heidelberg GmbH & Co. KG : [distributor] CoInfo Book Ser...
Book
12

Logical tools for handling change in agent-based systems

by: Gabbay, Dov M.,; Schlechta, Karl.
Berlin : Springer-Verlag Berlin and Heidelberg GmbH & Co. K : [distributor] Springer-Verlag Berlin and Heidelberg GmbH &...
Book
13

The reach of abduction: insight and trial

by: Gabbay, Dov M.,; Woods, John
Amsterdam ; San Diego, Calif. : Elsevier, 2005.
E-Book
14

Agenda relevance: a study in formal pragmatics

by: Gabbay, Dov M.,; Woods, John
Amsterdam ; Boston : North Holland, 2003.
E-Book
15

Fibring logics

by: Gabbay, Dov M.
Oxford: Clarendon Press, 1999
Book
16

Semantical investigations in Heyting's intuitionistic logic

by: Gabbay, Dov M.
Dordrecht [u.a.]: Reidel, 1981
Book
17

Temporal logic: mathematical foundations and computational aspects

by: Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark; Finger, Marcelo
Oxford: Clarendon Press, 19XX
Book
18

Goal-directed proof theory

by: Gabbay, Dov M.; Olivetti, Nicola (Author)
Dordrecht [u.a.]: Kluwer, c 2000
Book
19

Temporal logic, 2

by: Gabbay, Dov M.; Hodkinson, Ian (Author); Reynolds, Mark (Author)
Oxford: Clarendon Press, 2003
Book
20

Temporal logic, 1

by: Gabbay, Dov M.; Hodkinson, Ian (Author); Reynolds, Mark (Author)
Oxford: Clarendon Press, 1994
Book