VIAF

Virtual International Authority File

Search

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

Gabbay, Dov M. National and University Library in Zagreb

Gabbay, D. National Library of Spain

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

Dov Gabbay Wikidata

Gabbay, Dov DBC (Danish Bibliographic Center)

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 (29)

Open Section Close SectionWorks

Title Sources
Abductive reasoning and learning National Library of the Netherlands Library of Congress/NACO Sudoc [ABES], France
Agenda relevance : a study in formal pragmatics National Library of Sweden National Library of the Netherlands Sudoc [ABES], France NUKAT Center of Warsaw University Library
Applied logic series Sudoc [ABES], France
Approaches to legal rationality National Library of the Netherlands Library of Congress/NACO National Library of Catalonia
Background National Library of France
Belief change National Library of France
Conditionals and Modularity in General Logics German National Library Library of Congress/NACO
Deduction methodologies National Library of France National and University Library in Zagreb
DRUMS handboek series National Library of the Netherlands
Dynamic syntax : the flow of language understanding Library of Congress/NACO Sudoc [ABES], France National Library of Sweden NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of Catalonia
Elementary logics : a procedural perspective Library of Congress/NACO Sudoc [ABES], France National Library of Sweden NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of Catalonia
Extensions of classical logic Library of Congress/NACO German National Library Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of France National Library of Spain
Fibring logics German National Library Sudoc [ABES], France National Library of Sweden NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of France National Library of Catalonia National Library of the Netherlands
Frontiers of combining systems 2 National Library of the Netherlands Library of Congress/NACO National Library of Sweden
The functional interpretation of logical deduction National Library of the Czech Republic Library of Congress/NACO NUKAT Center of Warsaw University Library
Goal-directed proof theory Library of Congress/NACO Sudoc [ABES], France National Library of Sweden NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of France National Library of Catalonia
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 Library of Congress/NACO German National Library Sudoc [ABES], France National Library of France National Library of Catalonia National Library of the Netherlands National and University Library in Zagreb
Handbook of deontic logic and normative systems National Library of Sweden Sudoc [ABES], France
Handbook of Logic in Artificial Intelligence and Logic Programming German National Library Sudoc [ABES], France National Library of Sweden NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of France National Library of Catalonia National Library of the Netherlands National and University Library in Zagreb
Handbook of paraconsistency Library of Congress/NACO Sudoc [ABES], France
Handbook of philosophical logic National Library of the Czech Republic German National Library Sudoc [ABES], France National Library of Sweden NUKAT Center of Warsaw University Library National Library of Poland Library of Congress/NACO National Library of France National Library of Catalonia National Library of the Netherlands National and University Library in Zagreb
Handbook of quantum logic and quantum structures quantum structures Library of Congress/NACO National Library of the Netherlands National Library of France National Library of Catalonia National Library of the Czech Republic NUKAT Center of Warsaw University Library
Inductive logic National Library of Poland NUKAT Center of Warsaw University Library
Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London National Library of the Czech Republic National Library of the Netherlands
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
Investigations in modal and tense logics with applications to problems in philosophy and linguistics Library of Congress/NACO Sudoc [ABES], France National Library of Sweden NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of France National Library of Catalonia National Library of Spain
Labelled deductive systems German National Library Sudoc [ABES], France National Library of Sweden NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of France National Library of Catalonia National Library of the Netherlands
Logic a history of its central concepts Sudoc [ABES], France National Library of France NUKAT Center of Warsaw University Library
Logic and algebraic methods Sudoc [ABES], France National Library of France
Logic and the modalities in the twentieth century National Library of Poland National Library of France NUKAT Center of Warsaw University Library
Logic colloquium'92 Sudoc [ABES], France National Library of Sweden Library of Congress/NACO National Library of France National Library of Catalonia
Logic finite automata and constraint logic finite automata German National Library
Logic from Russell to Church National Library of Poland National Library of France NUKAT Center of Warsaw University Library
Logic, grammar and language National Library of Sweden Sudoc [ABES], France National Library of Catalonia
Logic, language, and reasoning : essays in honour of Dov Gabbay Library of Congress/NACO National Library of Sweden National Library of the Netherlands National Library of Catalonia
Logical tools for handling change in agent-based systems Sudoc [ABES], France
many valued and non-monotonic turn in logic National Library of Poland National Library of France NUKAT Center of Warsaw University Library
Mathematical problems from applied logic : logics for the XXIst century Library of Congress/NACO German National Library Sudoc [ABES], France National Library of Catalonia NUKAT Center of Warsaw University Library
Mediaeval and renaissance logic National Library of Poland National Library of Catalonia NUKAT Center of Warsaw University Library
Neural-symbolic cognitive reasoning German National Library Library of Congress/NACO Sudoc [ABES], France
Neural symbolic learning systems foundations and applications German National Library Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library
A new approach to quantum logic Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library
Proof theory for fuzzy logics Sudoc [ABES], France National Library of the Netherlands Library of Congress/NACO National Library of Catalonia
Qualitative and quantitative practical reasoning proceedings German National Library National Library of Sweden
Quantification in nonclassical logic German National Library Sudoc [ABES], France National Library of Catalonia National Library of the Netherlands NUKAT Center of Warsaw University Library
Quantified representation of uncertainty and imprecision Sudoc [ABES], France National Library of France
The reach of abduction: insight and trial National Library of Sweden National Library of the Netherlands NUKAT Center of Warsaw University Library
Reactive Kripke semantics German National Library Sudoc [ABES], France
Reasonning with actual and potential contradictions National Library of France
Red herring DBC (Danish Bibliographic Center)
Revision, acceptability and context theoretical and algorithmic aspects German National Library Library of Congress/NACO
rise of modern logic from Leibniz to Frege National Library of Poland Sudoc [ABES], France National Library of France
Semantic proof of Craig's interpolation theorem for intuitionistic logic and extensions Sudoc [ABES], France National Library of Sweden NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of France National Library of Catalonia National Library of the Netherlands National Library and Archives of Québec
Studies in Logic. Sudoc [ABES], France
Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings Library of Congress/NACO German National Library Sudoc [ABES], France National Library of Sweden NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of France
Temporal logic : mathematical foundations and computational aspects. Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of France National Library of Catalonia National and University Library in Zagreb
Topics in the philosophy of language National Library of the Netherlands Library of Congress/NACO National Library of France Sudoc [ABES], France National Library of Spain
Tributes Sudoc [ABES], France National Library of France
What is a logical system? Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of France National Library of Catalonia
What is negation? Library of Congress/NACO German National Library Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of France National Library of Catalonia
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 and Regions 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 (25)