Limit Search Results
Author
Gabbay, Dov M. author.
(5)
Schlechta, Karl. author.
(4)
Carnielli, Walter. author.
(2)
Hoek, Wiebe.
(2)
Aberdein, Andrew. editor.
(1)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
42 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Dual Tableaux: Foundations, Methodology, Case Studies
Dual Tableaux: Foundations, Methodology, Case Studies
Author 
Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0005-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Probabilistic Logics and Probabilistic Networks
Probabilistic Logics and Probabilistic Networks
Author 
Haenni, Rolf. author. Romeijn, Jan-Willem. author. Wheeler, Gregory. author. Williamson, Jon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0008-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Dynamic Formal Epistemology
Dynamic Formal Epistemology
Author 
Girard, Patrick. editor. Roy, Olivier. editor. Marion, Mathieu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0074-1
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Proof, Computation and Agency Logic at the Crossroads
Proof, Computation and Agency Logic at the Crossroads
Author 
van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0080-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Interpreted Languages and Compositionality
Interpreted Languages and Compositionality
Author 
Kracht, Marcus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2108-1
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Knowledge in Formation A Computational Theory of Interpretation
Knowledge in Formation A Computational Theory of Interpretation
Author 
Sarbo, Janos J. author. Farkas, Jozsef I. author. Breemen, Auke J.J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17089-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Working with Preferences: Less Is More Less Is More
Working with Preferences: Less Is More Less Is More
Author 
Kaci, Souhila. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17280-9
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
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:
21. 
Cover image for Cognitive Reasoning A Formal Approach
Cognitive Reasoning A Formal Approach
Author 
Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68875-4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Natural Deduction, Hybrid Systems and Modal Logics
Natural Deduction, Hybrid Systems and Modal Logics
Author 
Indrzejczak, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-8785-0
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
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:
24. 
Cover image for Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Author 
Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9084-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action