It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by RenameBot
September 12, 2008 | History
Edit

Dov M. Gabbay

We need a photo of Dov M. Gabbay

Born 1945

66 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Handbook Of The History Of Logic

    First published in 2009 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Interpolation and definability: modal and intuitionistic logics

    First published in 2005 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Investigations in modal and tense logics with applications to problems in philosophy and linguistics

    First published in 1976 — 1 edition
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A practical logic of cognitive systems

    First published in 2003 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Semantical investigations in Heyting's intuitionistic logic

    First published in 1981 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Temporal Logic: First International Conference, Ictl '94 Bonn, Germany, July 11-14, 1994 : Proceedings (Lecture Notes in Computer Science)

    First published in 1994 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: ELEMENTARY LOGIC WITH APPLICATIONS: a procedural perspective for computer scientists

    First published in 2016 — 1 edition
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logiḳah daʼoniṭit le-or ha-Talmud: Talmudic deontic logic

    First published in 2010 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Meta-logical investigations in argumentation networks

    First published in 2013 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Trends in belief revision and argumentation dynamics

    First published in 2013 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: New approaches to classes and concepts

    First published in 2008 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Neural-Symbolic Learning Systems

    First published in 2002 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Revision, acceptability and context: theoretical and algorithmic aspects

    First published in 2010 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Handbook of temporal reasoning in artificial intelligence

    First published in 2005 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Handbook of the History of Logic: The Emergence of Classical Logic (Handbook of the History of Logic)

    First published in 2008 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Handbook of the history of logic: Logic and the modalities in the twentieth century

    First published in 2006 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Handbook of Philosophical Logic

    First published in 2007 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures (Handbook of Logic in Computer Science)

    First published in 1993 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Handbook of Temporal Reasoning in Artificial Intelligence, Volume 1 (Foundations of Artificial Intelligence)

    First published in 2005 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Philosophy of Statistics

    First published in 2011 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Dov M. Gabbay

Born 1945

Subjects

Logic, Symbolic and mathematical Logic, Computer science, Logic, symbolic and mathematical, Artificial intelligence, Philosophy, Logic, history, History, Reasoning, Logica, Modality (Logic), Abduction (Logic), Language and logic, Logique, Mathematical Logic and Foundations, Methodology, Nonclassical mathematical logic, Philosophy (General), Artificial Intelligence (incl. Robotics), Comparative and general Grammar, Computer programming, Informatique, Language and languages, Logik, Logique symbolique et mathématique

People

A. Heyting (1898-)

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL52174A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
September 12, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import