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 Philosophical Logic, Second Edition, Volume 1 (Handbook of Philosophical Logic)

    First published in 2001 — 16 editions
    Locate

    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 Artificial Intelligence and Logic Programming: Volume 5: Logic Programming (Handbook of Logic in Artificial Intelligence and Logic Programming)

    Cover of edition handbooklogicart00gabb_334 First published in 1993 — 8 editions
    Locate

    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 logics: a procedural perspective

    First published in 1993 — 3 editions
    Locate

    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: Mathematical Problems from Applied Logic II: Logics for the XXIst Century (International Mathematical Series)

    First published in 2007 — 3 editions
    Locate

    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: Dynamic Syntax: The Flow of Language Understanding

    First published in 2000 — 3 editions
    Locate

    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: Topics in the philosophy of language

    First published in 1988 — 3 editions
    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: Elements of classical logic

    First published in 1983 — 3 editions
    Locate

    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: Abductive reasoning and learning

    First published in 2000 — 2 editions
    Locate

    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 Defeasible Reasoning and Uncertainty Management

    First published in 1899 — 2 editions
    Locate

    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 logic of argument and inference: the turn towards the practical

    First published in 2002 — 2 editions
    Locate

    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 Quantum Logic and Quantum Structures: Quantum Structures

    First published in 2007 — 2 editions
    Locate

    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

    First published in 2004 — 2 editions
    Locate

    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: Extensions of classical logic

    First published in 1984 — 2 editions
    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: Temporal logic: mathematical foundations and computational aspects

    First published in 1988 — 2 editions
    Locate

    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: Goal-Directed Proof Theory (Applied Logic Series Volume 21)

    First published in 2000 — 2 editions
    Locate

    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: Alternatives in [i.e. to] classical logic

    First published in 1985 — 2 editions
    Locate

    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 — 2 editions
    Locate

    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: Classical vs non-classical logics: the universality of classical logic

    First published in 1993 — 1 edition
    Locate

    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: Fibring logics

    First published in 1999 — 1 edition
    Locate

    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: Volume 1: Elements of Classical Logic Volume 2: Extensions of Classical Logic Volume 3: Alternatives to Classical Logic Volume 4: Topics in the Philosophy of Language

    First published in 1994 — 1 edition
    Locate

    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