Gabbay, Dov M.

Investigations In Modal And Tense Logics With Applications To Problems In Philosophy And Linguistics

Logical Tools For Handling Change In Agent-Based Systems

Revision, Acceptability And Context

Handbook Of Logic In Artificial Intelligence And Logic Programming

Quantification In Nonclassical Logic: Volume 1

Frontiers Of Combining Systems: International Workshop 2nd (Studies In Logic & Computation)

Handbook Of Philosophical Logic - Volume 10

Handbook Of Philosophical Logic - Volume 16

Handbook Of Philosophical Logic - Volume 2