Search Results for Gabbay, Dov M.

Reactive Kripke Semantics

2024-11-06T05:06:15Z

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: Electronic Resources
Availability Online Library~1

Philosophy of medicine

2024-11-06T05:06:15Z

Author Gabbay, Dov M., 1945-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444517876
Format: Electronic Resources
Availability Online Library~1

The rise of modern logic from Leibniz to Frege

2024-11-06T05:06:15Z

Author Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444516114
Format: Electronic Resources
Availability Online Library~1

Philosophy of complex systems

2024-11-06T05:06:15Z

Author Gabbay, Dov M., 1945-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444520760
Format: Electronic Resources
Availability Online Library~1

Conditionals and Modularity in General Logics

2024-11-06T05:06:15Z

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: Electronic Resources
Availability Online Library~1

Approaches to Legal Rationality

2024-11-06T05:06:15Z

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: Electronic Resources
Availability Online Library~1

Handbook of Philosophical Logic Volume 16

2024-11-06T05:06:15Z

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: Electronic Resources
Availability Online Library~1

Handbook of Philosophical Logic Volume 15

2024-11-06T05:06:15Z

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: Electronic Resources
Availability Online Library~1

Revision, Acceptability and Context Theoretical and Algorithmic Aspects

2024-11-06T05:06:15Z

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: Electronic Resources
Availability Online Library~1

Logical Tools for Handling Change in Agent-Based Systems

2024-11-06T05:06:15Z

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: Electronic Resources
Availability Online Library~1

Mathematical Problems from Applied Logic II Logics for the XXIst Century

2024-11-06T05:06:15Z

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: Electronic Resources
Availability Online Library~1

The many valued and non-monotonic turn in logic

2024-11-06T05:06:15Z

Author Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number ONLINE
Electronic Access Full text ScienceDirect http://www.sciencedirect.com/science/book/9780444516237
Format: Electronic Resources
Availability Online Library~1

The many valued and non-monotonic turn in logic

2024-11-06T05:06:15Z

The many valued and non-monotonic turn in logic

2024-11-06T05:06:15Z

The many valued and non-monotonic turn in logic

2024-11-06T05:06:15Z

Mathematical Problems from Applied Logic I Logics for the XXIst Century

2024-11-06T05:06:15Z

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: Electronic Resources
Availability Online Library~1

Logic and the modalities in the twentieth century

2024-11-06T05:06:15Z

Author Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444516220
Format: Electronic Resources
Availability Online Library~1

The reach of abduction insight and trial

2024-11-06T05:06:15Z

Author Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444517913
Format: Electronic Resources
Availability Online Library~1

Greek, Indian, and Arabic logic

2024-11-06T05:06:15Z

Author Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444504661
Format: Electronic Resources
Availability Online Library~1

Agenda relevance a study in formal pragmatics

2024-11-06T05:06:15Z

Author Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444513854
Format: Electronic Resources
Availability Online Library~1

Many-dimensional modal logics theory and applications

2024-11-06T05:06:15Z

Author Gabbay, Dov M., 1945-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444508263
Format: Electronic Resources
Availability Online Library~1

Handbook of the logic of argument and inference the turn towards the practical

2024-11-06T05:06:15Z

Author Gabbay, Dov M., 1945-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444506504
Format: Electronic Resources
Availability Online Library~1

Handbook of quantum logic and quantum structures quantum logic

2024-11-06T05:06:15Z

Author Engesser, Kurt. Gabbay, Dov M., 1945- Lehmann, Daniel, 1946-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444528698
Format: Electronic Resources
Availability Online Library~1

Handbook of temporal reasoning in artificial intelligence

2024-11-06T05:06:15Z

Author Fisher, Michael, 1962- Gabbay, Dov M., 1945- Vila, L. (Lluis)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444514936
Format: Electronic Resources
Availability Online Library~1

Neural-Symbolic Cognitive Reasoning

2024-11-06T05:06:15Z

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: Electronic Resources
Availability Online Library~1

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

2024-11-06T05:06:15Z

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: Electronic Resources
Availability Online Library~1

Knowledge Representation and the Semantics of Natural Language

2024-11-06T05:06:15Z

Author Helbig, Hermann. author. Gabbay, Dov M. editor. Siekmann, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29966-1
Format: Electronic Resources
Availability Online Library~1