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 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 NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France
APLS Sudoc [ABES], France
Applied logic series Sudoc [ABES], France
Approaches to legal rationality 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
Conditionals and modularity in general logics Library of Congress/NACO German National Library
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
Handboek of the logic of argument and inference : the turn towards the practical National Library of the Netherlands
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 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. 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 National Library of the Czech Republic NUKAT Center of Warsaw University Library 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 National Library of Catalonia 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 Sudoc [ABES], France 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 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 National Library of Spain
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 & algebraic methods Sudoc [ABES], France National Library of France
Logic: a history of its central concepts NUKAT Center of Warsaw University Library 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 Library of Congress/NACO National Library of France
Logic finite automata and constraint logic finite automata German National Library
Logic from Russell to Church NUKAT Center of Warsaw University Library National Library of Poland National Library of France
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 Sudoc [ABES], France
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. logics for the XXIst century NUKAT Center of Warsaw University Library Library of Congress/NACO German National Library National Library of Catalonia Sudoc [ABES], France
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
The reach of abduction : insight and trial 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 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
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 NUKAT Center of Warsaw University Library Sudoc [ABES], France
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 Library of Congress/NACO National Library of Spain National Library of France
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 Library of Congress/NACO National Library of France
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 History of VIAF ID:76325399 (47)