Start Over
You searched for: author_facet Gabbay, Dov M.

Search Results

Cover image for Qualitative and quantitative practical reasoning

Qualitative and quantitative practical reasoning

Location
Access Content Online
Cover image for Revision, acceptability and context

Revision, acceptability and context

Location
Access Content Online
Cover image for Alternatives in [i.e. to] classical logic

Alternatives in [i.e. to] classical logic

  • 1986
  • Format: Book
Joyner Library - General Stacks
Call Number: BC6 .H36 1983 VOL. 3
Cover image for Investigations in modal and tense logics with applications to problems in philosophy and linguistics

Investigations in modal and tense logics with applications to problems in philosophy and linguistics

Joyner Library - General Stacks
Call Number: BC199.M6 G3
Cover image for Elements of classical logic

Elements of classical logic

  • 1983
  • Format: Book
Joyner Library - General Stacks
Call Number: BC6 .H36 1983 VOL. 1
Cover image for Semantical investigations in Heyting's intuitionistic logic

Semantical investigations in Heyting's intuitionistic logic

Joyner Library - General Stacks
Call Number: QA9.47 .G32
Cover image for Reactive Kripke Semantics

Reactive Kripke Semantics

Location
Access Content Online
Cover image for The functional interpretation of logical deduction

The functional interpretation of logical deduction

Location
Access Content Online
Cover image for Handbook of logic in artificial intelligence and logic programming

Handbook of logic in artificial intelligence and logic programming

  • 1993
  • Format: Book
Joyner Library - General Stacks
Call Number: View Items
Cover image for Extensions of classical logic

Extensions of classical logic

  • 1984
  • Format: Book
Joyner Library - General Stacks
Call Number: BC6 .H36 1983 VOL. 2