What is a logical system /.

by Gabbay, Dov M.
Published 1994.

Handbook of logic in artificial intelligence and logic programming /

by Gabbay, Dov M.
Published 1993.

Handbook of logic in artificial intelligence and logic programming /

by Gabbay, Dov M.
Published 1996.

Reactive Kripke semantics

by Gabbay, Dov M.
Published 2013.

Handbook of philosophical logic.

by Gabbay, Dov M., Guenthner, Franz
Published c1983

Handbook of philosophical logic

by Gabbay, Dov M., Guenthner, Franz.
Published 2005.

Handbook of Philosophical Logic volume 14 /

by Gabbay, Dov M., Guenthner, Franz.
Published 2007.

Conditionals and modularity in general logics

by Gabbay, Dov M., Schlechta, Karl.
Published 2011.

Logical tools for handling change in agent-based systems

by Gabbay, Dov M., Schlechta, Karl
Published 2010.

Handbook of philosophical logic volume 13 /

by Gabbay, Dov M., Guenthner, Franz
Published 2005.

Handbook of philosophical logic : volume 15 /

by Gabbay, Dov M., Guenthner, Franz.
Published 2011.

Handbook of philosophical logic

by Gabbay, Dov M., Guenthner, Franz
Published 2011.

Handbook of Logic in Computer Science.

by Abramsky, S., Gabbay, Dov M., Maibaum, T. S. E.
Published 1992.

Mathematical problems from applied logic II logics for the XXIst century /

by Gabbay, Dov M., Zakharyaschev, Michael., Goncharov, S. S.
Published 2007.

Mathematical problems from applied logic I logics for the XXIst century /

by Gabbay, Dov M., Goncharov, Sergei S., Zakharyaschev, Michael
Published 2006.

Proof theory for fuzzy logics

by Metcalfe, George., Olivetti, Nicola., Gabbay, Dov M.
Published 2009.

Revision, acceptability and context theoretical and algorithmic aspects /

by Gabbay, Dov M., Rodrigues, Odinaldo T., Russo, Alessandra
Published 2010.

Approaches to legal rationality

by Gabbay, Dov M, Canivez, Patrice, Rahman, Shahid, Thiercelin, Alexandre.
Published 2011.

Neural-symbolic cognitive reasoning

by D'Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009.

Handbook of logic in artificial intelligence and logic programming /

by Gabbay, Dov M., Hogger, Christopher John., Robinson, J. A., Nute, D.
Published 1994.