Reactive Kripke semantics

by Gabbay, Dov M.
Published 2013

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.

Handbook of philosophical logic volume 13 /

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

Handbook of philosophical logic

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

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 15 /

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

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.

Handbook of philosophical logic.

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

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.

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

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

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

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.