VIAF

Virtual International Authority File

Search

Gabbay, Dov M., 1945-.... National Library of the Netherlands-test National Library of the Czech Republic Library of Congress/NACO German National Library Sudoc [ABES], France ISNI-test National Library of Australia National Library of Israel National Library of Sweden National Library of Catalonia National Library of Poland NUKAT Center of Warsaw University Library National Library of France

Gabbay, Dov M. National and University Library in Zagreb German National Library

Gabbay, Dov Wikipedia (en) DBC (Danish Bibliographic Center)

Gabbay, D. National Library of Spain

גבאי, דב, 1945- National Library of Israel

Gabbay, D.M. German National Library

VIAF ID: 76325399 (Personal)

Permalink: http://viaf.org/viaf/76325399

ISNI-test: 0000  0001  2282  018X 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (25)

Open Section Close SectionWorks

Title Sources
Abductive reasoning and learning National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Agenda relevance a study in formal pragmatics xR Extended Titles-test NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of the Netherlands-test
APLS Sudoc [ABES], France
Applied logic series Sudoc [ABES], France
Approaches to legal rationality xR Extended Titles-test National Library of Catalonia National Library of the Netherlands-test Library of Congress/NACO
Automated practical reasoning and argumentation German National Library
Background National Library of France
Belief change National Library of France
Cahiers de logique et d'épistémologie Sudoc [ABES], France
Common foundations for belief revision, belief merging and voting (extended abstract) German National Library
Computational structures National Library of France
Deduction methodologies National and University Library in Zagreb National Library of France
DRUMS handboek series National Library of the Netherlands-test
Dynamic syntax : the flow of language understanding National Library of Catalonia NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of the Netherlands-test Library of Congress/NACO
Elementary logics : a procedural perspective National Library of Catalonia NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of the Netherlands-test Library of Congress/NACO
Extensions of classical logic Library of Congress/NACO German National Library Sudoc [ABES], France National Library of the Netherlands-test NUKAT Center of Warsaw University Library National Library of France National Library of Spain
Fibring logics NUKAT Center of Warsaw University Library National Library of the Netherlands-test Library of Congress/NACO German National Library National Library of Catalonia Sudoc [ABES], France National Library of France
Frontiers of combining systems 2 National Library of the Netherlands-test Library of Congress/NACO
The functional interpretation of logical deduction National Library of the Czech Republic Library of Congress/NACO
Goal-directed proof theory National Library of the Netherlands-test Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of Catalonia National Library of France
Handbook of defeasible reasoning and uncertainty management systems National Library of the Netherlands-test National and University Library in Zagreb Library of Congress/NACO German National Library National Library of Catalonia Sudoc [ABES], France National Library of France
Handbook of logic in artificial intelligence and logic programming National and University Library in Zagreb Library of Congress/NACO German National Library Sudoc [ABES], France xR Extended Titles-test National Library of the Netherlands-test NUKAT Center of Warsaw University Library National Library of France
Handbook of paraconsistency Sudoc [ABES], France Library of Congress/NACO
Handbook of Philosophical Logic NUKAT Center of Warsaw University Library National Library of the Netherlands-test Library of Congress/NACO xR Extended Titles-test Sudoc [ABES], France National Library of France
Handbook of quantum logic and quantum structures : quantum structures NUKAT Center of Warsaw University Library National Library of the Czech Republic Library of Congress/NACO National Library of the Netherlands-test National Library of Catalonia National Library of France
Handbook of the history of logic. a history of its central concepts Sudoc [ABES], France
Handbook of the logic of argument and inference the turn towards the practical National Library of Poland National and University Library in Zagreb Library of Congress/NACO German National Library Sudoc [ABES], France National Library of Catalonia National Library of the Netherlands-test National Library of the Czech Republic xR Extended Titles-test NUKAT Center of Warsaw University Library National Library of France
Inductive logic NUKAT Center of Warsaw University Library National Library of Poland
Interactive logic : selected papers from the 7th Augustus de Morgan workshop, London National Library of the Netherlands-test National Library of the Czech Republic
The international directory of logicians who's who in logic Sudoc [ABES], France
International schools for computer scientists National Library of France
Interpolation and definability : modal and intuitionistic logics National Library of the Netherlands-test Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of Catalonia National Library of France
Investigations in modal and tense logics with applications to problems in Philosophy and Linguistics xR Extended Titles-test
Labelled deductive systems National Library of the Netherlands-test Library of Congress/NACO German National Library Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of Catalonia National Library of France
Logic and algebraic methods Sudoc [ABES], France National Library of France
Logic and the modalities in the twentieth century National Library of Poland NUKAT Center of Warsaw University Library National Library of France
Logic Colloquium '92 Sudoc [ABES], France National Library of France Library of Congress/NACO
Logic finite automata and constraint logic finite automata German National Library
Logic from Russell to Church xR Extended Titles-test NUKAT Center of Warsaw University Library National Library of France National Library of Poland
Logic, language, and reasoning : essays in honour of Dov Gabbay National Library of Catalonia National Library of the Netherlands-test
Logical tools for handling change in agent-based systems xR Extended Titles-test Sudoc [ABES], France
Many-Dimensional Modal Logics Theory and Applications Library of Congress/NACO Sudoc [ABES], France National Library of Catalonia National Library of the Netherlands-test National Library of Sweden xR Extended Titles-test NUKAT Center of Warsaw University Library National Library of France National Library of Spain
Many valued and nonmonotonic turn in logic NUKAT Center of Warsaw University Library National Library of Poland National Library of France
Mathematical Problems from Applied Logic I Logics for the XXIst Century xR Extended Titles-test
Mathematical problems from applied logic II logics for the XXIst century NUKAT Center of Warsaw University Library National Library of Catalonia Library of Congress/NACO German National Library xR Extended Titles-test Sudoc [ABES], France
Mediaeval and renaissance logic. National Library of Catalonia NUKAT Center of Warsaw University Library National Library of Poland
Neural-symbolic cognitive reasoning Sudoc [ABES], France Library of Congress/NACO German National Library
Neural-symbolic learning systems : foundations and applications NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO German National Library
A new approach to quantum logic NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
Proof theory for fuzzy logics National Library of Catalonia National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Quantification in nonclassical logic National Library of the Netherlands-test Library of Congress/NACO German National Library Sudoc [ABES], France National Library of Catalonia xR Extended Titles-test NUKAT Center of Warsaw University Library National Library of Spain
Quantified representation of uncertainty and imprecision Sudoc [ABES], France National Library of France
Reach of abduction insight and trial xR Extended Titles-test NUKAT Center of Warsaw University Library National Library of the Netherlands-test
Reactive Kripke semantics Sudoc [ABES], France German National Library
Reasonning with actual and potential contradictions National Library of France
Red herring DBC (Danish Bibliographic Center)
Revision, Acceptability and Context Theoretical and Algorithmic Aspects xR Extended Titles-test Library of Congress/NACO German National Library
˜The œrise of modern logic from Leibniz to Frege National Library of Poland Sudoc [ABES], France National Library of France
Semantical investigations in Heyting's intuitionistic logic National Library of the Netherlands-test Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of Sweden National Library of Catalonia National Library of France
Studies in Logic Sudoc [ABES], France
Temporal Logic First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings National Library of the Netherlands-test Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library xR Extended Titles-test
Temporal logic : mathematical foundations and computational aspects. National Library of the Netherlands-test National and University Library in Zagreb Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of Catalonia National Library of France
Topics in the philosophy of language National Library of the Netherlands-test Sudoc [ABES], France National Library of France National Library of Spain Library of Congress/NACO
Tributes Sudoc [ABES], France National Library of France
What is a logical system? NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France National Library of France Library of Congress/NACO
What is negation? National Library of the Netherlands-test Library of Congress/NACO German National Library NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France
WOCFAI '91 proceedings of the first World conference on the fundamentals of artificial intelligence, 1-5 July 1991, Paris, France Sudoc [ABES], France National Library of France
מידות הדרש ההגיוניות : היסקים לא דדוקטיביים בתלמוד National Library of Israel

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (10)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (12)

Open Section Close Section About

Open Section Close Section History of VIAF ID:76325399 (45)