|
|
Reactive Kripke Semantics
by Gabbay, Dov M.
Publication:
. XII, 442 p. 201 illus., 10 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conditionals and Modularity in General Logics
by Gabbay, Dov M.
Publication:
. IX, 233 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Revision, Acceptability and Context
by Gabbay, Dov M.
Publication:
. X, 386 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logical Tools for Handling Change in Agent-Based Systems
by Gabbay, Dov M.
Publication:
. X, 305p.
Availability:
Copies available:
AUM Main Library
(1),
|
|