VIAF

Virtual International Authority File

Search

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

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

Gabbay, D. National Library of Spain

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

Dov Gabbay Wikidata

Gabbay, Dov DBC (Danish Bibliographic Center)

Gabbay, D.M. German National Library

VIAF ID: 76325399 (Personal)

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

ISNI: 0000  0001  2282  018X 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close Section 5xx's: Related Names (1)

  • 510 2 _ ‎‡a  King's College‏ ‎‡9  g:London‏ ‎‡e  Affiliation German National Library

Open Section Close SectionWorks

Title Sources
Abductive reasoning and learning National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Agenda relevance a study in formal pragmatics xR Extended Titles NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of the Netherlands
APLS Sudoc [ABES], France
Applied logic series Sudoc [ABES], France
Approaches to legal rationality xR Extended Titles National Library of the Netherlands National Library of Catalonia Library of Congress/NACO
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
Dynamic syntax : the flow of language understanding NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France National Library of Catalonia Library of Congress/NACO
Elementary logics : a procedural perspective NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France National Library of Catalonia Library of Congress/NACO
Extensions of classical logic Library of Congress/NACO German National Library Sudoc [ABES], France National Library of the Netherlands NUKAT Center of Warsaw University Library National Library of France National Library of Spain
Fibring logics National Library of Catalonia National Library of the Netherlands Library of Congress/NACO German National Library NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France
Frontiers of combining systems 2 National Library of the Netherlands Library of Congress/NACO
The functional interpretation of logical deduction National Library of the Czech Republic Library of Congress/NACO
Goal-directed proof theory Library of Congress/NACO Sudoc [ABES], France National Library of Catalonia National Library of the Netherlands NUKAT Center of Warsaw University Library National Library of France
Handbook of defeasible reasoning and uncertainty management systems National Library of Catalonia National and University Library in Zagreb Library of Congress/NACO German National Library National Library of the Netherlands 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 National Library of the Netherlands NUKAT Center of Warsaw University Library National Library of France
Handbook of paraconsistency Sudoc [ABES], France Library of Congress/NACO
Handbook of Philosophical Logic xR Extended Titles NUKAT Center of Warsaw University Library Sudoc [ABES], 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 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 the Netherlands National Library of the Czech Republic Library of Congress/NACO German National Library Sudoc [ABES], France National Library of Catalonia National and University Library in Zagreb xR Extended Titles National Library of Poland 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 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 Library of Congress/NACO Sudoc [ABES], France National Library of Catalonia National Library of the Netherlands NUKAT Center of Warsaw University Library National Library of France
Investigations in modal and tense logics with applications to problems in Philosophy and Linguistics xR Extended Titles
Labelled deductive systems Library of Congress/NACO German National Library Sudoc [ABES], France National Library of Catalonia National Library of the Netherlands NUKAT Center of Warsaw University Library 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 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 the Netherlands National Library of Catalonia
Logical Tools for Handling Change in Agent-Based Systems xR Extended Titles Sudoc [ABES], France
Many-Dimensional Modal Logics Theory and Applications National Library of the Netherlands Library of Congress/NACO Sudoc [ABES], France National Library of Catalonia National Library of Sweden xR Extended Titles NUKAT Center of Warsaw University Library National Library of France National Library of Spain
many valued and non-monotonic 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 NUKAT Center of Warsaw University Library National Library of Catalonia Library of Congress/NACO German National Library xR Extended Titles Sudoc [ABES], France
Mathematical problems from applied logic II logics for the XXIst century xR Extended Titles
Mediaeval and Renaissance logic NUKAT Center of Warsaw University Library National Library of Poland National Library of Catalonia
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 the Netherlands National Library of Catalonia Sudoc [ABES], France Library of Congress/NACO
Quantification in nonclassical logic. National Library of the Netherlands German National Library NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of Catalonia
Quantified representation of uncertainty and imprecision Sudoc [ABES], France National Library of France
Reach of abduction insight and trial xR Extended Titles NUKAT Center of Warsaw University Library National Library of the Netherlands
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 Library of Congress/NACO German National Library
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 Library of Congress/NACO Sudoc [ABES], France National Library of Catalonia National Library of the Netherlands National Library of Sweden NUKAT Center of Warsaw University Library National Library of France
Special issue on trees in linguistics, logic and computer science National Library of the Netherlands
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 Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library xR Extended Titles
Temporal logic mathematical foundations and computational aspects National and University Library in Zagreb Library of Congress/NACO Sudoc [ABES], France National Library of Catalonia National Library of the Netherlands NUKAT Center of Warsaw University Library National Library of France
Topics in the philosophy of language National Library of the Netherlands 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 Sudoc [ABES], France National Library of France Library of Congress/NACO
What is negation? National Library of the Netherlands 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 (47)