Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings

Published 1994

Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics

by Gabbay, Dov M.
Published 1976

Labelled Deduction

Published 2000

Belief Change

Published 1998

Handbook of Philosophical Logic : Volume IV: Topics in the Philosophy of Language

Published 1989

Handbook of Philosophical Logic : Volume II: Extensions of Classical Logic

Published 1984

Handbook of Philosophical Logic : Volume I: Elements of Classical Logic

Published 1983

Advances in Temporal Logic

Published 2000

Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.

Published 1996

Logic, Epistemology, and the Unity of Science

Published 2004

Neural-Symbolic Learning Systems : Foundations and Applications

by d'Avila Garcez, Artur S., Broda, Krysia B., Gabbay, Dov M.
Published 2002