What is a logical system /.

gan Gabbay, Dov M.
Cyhoeddwyd 1994.

Handbook of logic in artificial intelligence and logic programming /

gan Gabbay, Dov M.
Cyhoeddwyd 1993.

Handbook of logic in artificial intelligence and logic programming /

gan Gabbay, Dov M.
Cyhoeddwyd 1996.

Reactive Kripke semantics

gan Gabbay, Dov M.
Cyhoeddwyd 2013.

Handbook of philosophical logic.

gan Gabbay, Dov M., Guenthner, Franz
Cyhoeddwyd c1983

Handbook of philosophical logic

gan Gabbay, Dov M., Guenthner, Franz.
Cyhoeddwyd 2005.

Handbook of Philosophical Logic volume 14 /

gan Gabbay, Dov M., Guenthner, Franz.
Cyhoeddwyd 2007.

Conditionals and modularity in general logics

gan Gabbay, Dov M., Schlechta, Karl.
Cyhoeddwyd 2011.

Logical tools for handling change in agent-based systems

gan Gabbay, Dov M., Schlechta, Karl
Cyhoeddwyd 2010.

Handbook of philosophical logic volume 13 /

gan Gabbay, Dov M., Guenthner, Franz
Cyhoeddwyd 2005.

Handbook of philosophical logic : volume 15 /

gan Gabbay, Dov M., Guenthner, Franz.
Cyhoeddwyd 2011.

Handbook of philosophical logic

gan Gabbay, Dov M., Guenthner, Franz
Cyhoeddwyd 2011.

Handbook of Logic in Computer Science.

gan Abramsky, S., Gabbay, Dov M., Maibaum, T. S. E.
Cyhoeddwyd 1992.

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

gan Gabbay, Dov M., Zakharyaschev, Michael., Goncharov, S. S.
Cyhoeddwyd 2007.

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

gan Gabbay, Dov M., Goncharov, Sergei S., Zakharyaschev, Michael
Cyhoeddwyd 2006.

Proof theory for fuzzy logics

gan Metcalfe, George., Olivetti, Nicola., Gabbay, Dov M.
Cyhoeddwyd 2009.

Revision, acceptability and context theoretical and algorithmic aspects /

gan Gabbay, Dov M., Rodrigues, Odinaldo T., Russo, Alessandra
Cyhoeddwyd 2010.

Approaches to legal rationality

gan Gabbay, Dov M, Canivez, Patrice, Rahman, Shahid, Thiercelin, Alexandre.
Cyhoeddwyd 2011.

Neural-symbolic cognitive reasoning

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

Handbook of logic in artificial intelligence and logic programming /

gan Gabbay, Dov M., Hogger, Christopher John., Robinson, J. A., Nute, D.
Cyhoeddwyd 1994.