Dov M. Gabbay

Handbook of Quantum Logic and Quantum Structures

2007

Extensions of classical logic

1984

Elements of classical logic

1983

Temporal logic

1994

Goal-Directed Proof Theory (Applied Logic Series Volume 21)

2000

Labelled deductive systems

1996

What is negation?

1999