Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
13 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Reactive Kripke Semantics
Reactive Kripke Semantics
Author 
Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335100.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41389-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Approaches to Legal Rationality
Approaches to Legal Rationality
Author 
Gabbay, Dov M. editor. Canivez, Patrice. editor. Rahman, Shahid. editor. Thiercelin, Alexandre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9588-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Conditionals and Modularity in General Logics
Conditionals and Modularity in General Logics
Author 
Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19068-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Handbook of Philosophical Logic Volume 16
Handbook of Philosophical Logic Volume 16
Author 
Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0479-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Handbook of Philosophical Logic Volume 15
Handbook of Philosophical Logic Volume 15
Author 
Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0485-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logical Tools for Handling Change in Agent-Based Systems
Logical Tools for Handling Change in Agent-Based Systems
Author 
Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04407-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Revision, Acceptability and Context Theoretical and Algorithmic Aspects
Revision, Acceptability and Context Theoretical and Algorithmic Aspects
Author 
Gabbay, Dov M. author. Rodrigues, Odinaldo T. author. Russo, Alessandra. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14159-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Mathematical Problems from Applied Logic II Logics for the XXIst Century
Mathematical Problems from Applied Logic II Logics for the XXIst Century
Author 
Gabbay, Dov M. editor. Zakharyaschev, Michael. editor. Goncharov, Sergei S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69245-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Mathematical Problems from Applied Logic I Logics for the XXIst Century
Mathematical Problems from Applied Logic I Logics for the XXIst Century
Author 
Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31072-X
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
Author 
Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9409-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Neural-Symbolic Cognitive Reasoning
Neural-Symbolic Cognitive Reasoning
Author 
d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73246-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
Author 
Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6782-2
Format: 
Availability 
Online Library~1
Available:
Copies: