Skip to contents Gabbay, Dov M. [Author] ; Hodkinson, Ian [Other]; Reynolds, Mark [Other]; Finger, Marcelo [Other] Temporal logic : mathematical foundations and computational aspects Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1994-2003 Published in: Oxford logic guides ; . Gabbay, Dov M. [Author] Semantical investigations in Heyting's intuitionistic logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Reidel, 1981 Published in: Synthese <Dordrecht> / Library ; 148 Gabbay, Dov M. [Author] Investigations in modal and tense logics with applications to problems in philosophy and linguistics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Reidel, 1976 Published in: Synthese <Dordrecht> / Library ; 9200 Gabbay, Dov M. [Editor]; Wansing, Heinrich [Other] What is negation? Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Kluwer Academic Publishers, 1999 Published in: Applied logic series ; 13 Gabbay, Dov M. [Author]; Olivetti, Nicola [Author] Goal-directed proof theory Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Kluwer, c 2000 Published in: Applied logic series ; 21 Ohlbach, Hans Jürgen [Editor]; Gabbay, Dov M. [Honoree] Logic, language, and reasoning : essays in honour of Dov Gabbay Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston, Mass [u.a.]: Kluwer Academic, 1999 Published in: Trends in logic ; 5 Artemov, Sergej N. [Editor]; Gabbay, Dov M. [Honoree] We will show them! : Essays in honour of Dov Gabbay on his 60th birthday Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [London]: College Publ., 20XX- Gabbay, Dov M. [Author]; Maksimova, Larisa L. [Author] Interpolation and definability : modal and intuitionistic logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 2005 Published in: Oxford logic guides ; 46 Gabbay, Dov M. [Author]; Hodkinson, Ian [Author]; Reynolds, Mark [Author] Temporal logic / 1 - [Repr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 2003 Published in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 1,2003 - Oxford logic guides ; 28,2003 Gabbay, Dov M. [Author]; Hodkinson, Ian [Author]; Reynolds, Mark [Author] Temporal logic / 2 - [Repr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 2003 Published in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 2,2003 - Oxford logic guides ; 40,2003 Gabbay, Dov M. [Author]; Hodkinson, Ian [Author]; Reynolds, Mark [Author] Temporal logic / 1 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1994 Published in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 1.1994 - Oxford logic guides ; 28.1994 Kempson, Ruth M. [Author]; Meyer-Viol, Wilfried [Author]; Gabbay, Dov M. [Author] ; Kempson, Ruth [Other] Dynamic syntax : the flow of language understanding - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford [u.a.]: Blackwell Publishers, 2001 Gabbay, Dov M. [Author]; Schmidt, Renate A. [Author]; Szałas, Andrzej [Author] Second-order quantifier elimination : foundations, computational aspects and applications - [Nachdr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London: College Publ., 2011 Published in: Studies in logic ; 12,2011 Gabbay, Dov M. [Author]; Šechtman, Valentin B. [Author]; Skvortsov, Dmitrij P. [Author] Quantification in nonclassical logic / 1 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Heidelberg [u.a.]: Elsevier, 2009 Published in: Quantification in nonclassical logic / D. M. Gabbay; V. B. Shehtman; D. P. Skvortsov - Studies in logic and the foundations of mathematics ; 153 Gabbay, Dov M. [Author]; Schmidt, Renate A. [Author]; Szałas, Andrzej [Author] Second-order quantifier elimination: foundations, computational aspects and applications Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London: King's College Publ., 2008 Published in: Studies in logic ; 12 D'Avila Garcez, Artur S. [Author]; Broda, Krysia [Author]; Gabbay, Dov M. [Author] Neural symbolic learning systems : foundations and applications Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Perspectives in neural computing Gabbay, Dov M. [Author]; Šechtman, Valentin B. [Author]; Skvortsov, Dmitrij P. [Author] Quantification in nonclassical logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Heidelberg [u.a.]: Elsevier, 20XX- Published in: Studies in logic and the foundations of mathematics ; . Carnielli, Walter Alexandre [Other]; Coniglio, Marcelo [Other]; Gabbay, Dov M. [Other]; Gouveia, Paula [Other]; Sernadas, Cristina [Other]; Carnielli, Walter [Other] Analysis and synthesis of logics : how to cut and paste reasoning systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht: Springer, 2008 Published in: Applied logic series ; 35 Baroni, Pietro [Editor]; Gabbay, Dov M. [Editor]; Giacomin, Massimiliano [Editor]; Torre, Leendert van der [Editor] Handbook of formal argumentation Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Erscheinungsort nicht ermittelbar]: College Publications, [2018] D'Avila Garcez, Artur S. [Author]; Lamb, Luis C. [Author]; Gabbay, Dov M. [Author] Neural-symbolic cognitive reasoning : with 6 tables Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2009 Published in: Cognitive technologies
Gabbay, Dov M. [Author] ; Hodkinson, Ian [Other]; Reynolds, Mark [Other]; Finger, Marcelo [Other] Temporal logic : mathematical foundations and computational aspects Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1994-2003 Published in: Oxford logic guides ; .
Gabbay, Dov M. [Author] Semantical investigations in Heyting's intuitionistic logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Reidel, 1981 Published in: Synthese <Dordrecht> / Library ; 148
Gabbay, Dov M. [Author] Investigations in modal and tense logics with applications to problems in philosophy and linguistics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Reidel, 1976 Published in: Synthese <Dordrecht> / Library ; 9200
Gabbay, Dov M. [Editor]; Wansing, Heinrich [Other] What is negation? Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Kluwer Academic Publishers, 1999 Published in: Applied logic series ; 13
Gabbay, Dov M. [Author]; Olivetti, Nicola [Author] Goal-directed proof theory Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Kluwer, c 2000 Published in: Applied logic series ; 21
Ohlbach, Hans Jürgen [Editor]; Gabbay, Dov M. [Honoree] Logic, language, and reasoning : essays in honour of Dov Gabbay Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston, Mass [u.a.]: Kluwer Academic, 1999 Published in: Trends in logic ; 5
Artemov, Sergej N. [Editor]; Gabbay, Dov M. [Honoree] We will show them! : Essays in honour of Dov Gabbay on his 60th birthday Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [London]: College Publ., 20XX-
Gabbay, Dov M. [Author]; Maksimova, Larisa L. [Author] Interpolation and definability : modal and intuitionistic logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 2005 Published in: Oxford logic guides ; 46
Gabbay, Dov M. [Author]; Hodkinson, Ian [Author]; Reynolds, Mark [Author] Temporal logic / 1 - [Repr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 2003 Published in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 1,2003 - Oxford logic guides ; 28,2003
Gabbay, Dov M. [Author]; Hodkinson, Ian [Author]; Reynolds, Mark [Author] Temporal logic / 2 - [Repr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 2003 Published in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 2,2003 - Oxford logic guides ; 40,2003
Gabbay, Dov M. [Author]; Hodkinson, Ian [Author]; Reynolds, Mark [Author] Temporal logic / 1 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1994 Published in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 1.1994 - Oxford logic guides ; 28.1994
Kempson, Ruth M. [Author]; Meyer-Viol, Wilfried [Author]; Gabbay, Dov M. [Author] ; Kempson, Ruth [Other] Dynamic syntax : the flow of language understanding - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford [u.a.]: Blackwell Publishers, 2001
Gabbay, Dov M. [Author]; Schmidt, Renate A. [Author]; Szałas, Andrzej [Author] Second-order quantifier elimination : foundations, computational aspects and applications - [Nachdr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London: College Publ., 2011 Published in: Studies in logic ; 12,2011
Gabbay, Dov M. [Author]; Šechtman, Valentin B. [Author]; Skvortsov, Dmitrij P. [Author] Quantification in nonclassical logic / 1 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Heidelberg [u.a.]: Elsevier, 2009 Published in: Quantification in nonclassical logic / D. M. Gabbay; V. B. Shehtman; D. P. Skvortsov - Studies in logic and the foundations of mathematics ; 153
Gabbay, Dov M. [Author]; Schmidt, Renate A. [Author]; Szałas, Andrzej [Author] Second-order quantifier elimination: foundations, computational aspects and applications Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London: King's College Publ., 2008 Published in: Studies in logic ; 12
D'Avila Garcez, Artur S. [Author]; Broda, Krysia [Author]; Gabbay, Dov M. [Author] Neural symbolic learning systems : foundations and applications Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Perspectives in neural computing
Gabbay, Dov M. [Author]; Šechtman, Valentin B. [Author]; Skvortsov, Dmitrij P. [Author] Quantification in nonclassical logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Heidelberg [u.a.]: Elsevier, 20XX- Published in: Studies in logic and the foundations of mathematics ; .
Carnielli, Walter Alexandre [Other]; Coniglio, Marcelo [Other]; Gabbay, Dov M. [Other]; Gouveia, Paula [Other]; Sernadas, Cristina [Other]; Carnielli, Walter [Other] Analysis and synthesis of logics : how to cut and paste reasoning systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht: Springer, 2008 Published in: Applied logic series ; 35
Baroni, Pietro [Editor]; Gabbay, Dov M. [Editor]; Giacomin, Massimiliano [Editor]; Torre, Leendert van der [Editor] Handbook of formal argumentation Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Erscheinungsort nicht ermittelbar]: College Publications, [2018]
D'Avila Garcez, Artur S. [Author]; Lamb, Luis C. [Author]; Gabbay, Dov M. [Author] Neural-symbolic cognitive reasoning : with 6 tables Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2009 Published in: Cognitive technologies
> Media type Skip to next facet Articles (143) Wert ausschließen Books (63) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (19) Wert ausschließen Stack Collection (12) Wert ausschließen Ask for availability (5) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (20) Wert ausschließen Departmental Library DrePunct (17) Wert ausschließen TU Dresden holdings (4) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (17) Wert ausschließen Restricted Access (1) Wert ausschließen Without Specification (148) Wert ausschließen Show more show less
> Language Skip to next facet English (176) Wert ausschließen Not determined (28) Wert ausschließen German (2) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (77) Wert ausschließen Philosophy (69) Wert ausschließen Computer science (34) Wert ausschließen History (18) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (11) Wert ausschließen Chemistry and pharmacology (2) Wert ausschließen Art and art history (2) Wert ausschließen Psychology (2) Wert ausschließen Technology (2) Wert ausschließen Physics (1) Wert ausschließen Jurisprudence (1) Wert ausschließen Theology and religious studies (1) Wert ausschließen Show more show less
> Creator Skip to next facet Gabbay, Dov M. (191) Wert ausschließen van der Torre, Leendert (16) Wert ausschließen Boella, Guido (12) Wert ausschließen Woods, John (11) Wert ausschließen Villata, Serena (9) Wert ausschließen Szałas, Andrzej (8) Wert ausschließen GABBAY, DOV M. (7) Wert ausschließen Schlechta, Karl (7) Wert ausschließen ScienceDirect (Online service) (6) Wert ausschließen Genovese, Valerio (5) Wert ausschließen Woods, John Hayden (5) Wert ausschließen Abraham, M. (4) Wert ausschließen Giacomin, Massimiliano (4) Wert ausschließen Hodkinson, Ian (4) Wert ausschließen Ohlbach, Hans Jürgen (4) Wert ausschließen Olivetti, Nicola (4) Wert ausschließen Reynolds, Mark (4) Wert ausschließen Caminada, Martin (3) Wert ausschließen D'Agostino, Marcello (3) Wert ausschließen D'Avila Garcez, Artur S. (3) Wert ausschließen Finger, Marcelo (3) Wert ausschließen Gabbay, Dov (3) Wert ausschließen Lamb, Luis C. (3) Wert ausschließen Perotti, Alan (3) Wert ausschließen SCHLECHTA, KARL (3) Wert ausschließen Schild, Uri (3) Wert ausschließen Abraham, Michael (2) Wert ausschließen Barker, Steve (2) Wert ausschließen Baroni, Pietro (2) Wert ausschließen Bochman, Alexander (2) Wert ausschließen Dov M. Gabbay and Massimiliano Giacomin and Beishui Liao and Leendert van der Torre (2) Wert ausschließen Engesser, Kurt (2) Wert ausschließen Gabbay, Dov M (2) Wert ausschließen Garcez, Artur S. d’Avila (2) Wert ausschließen ICTL 1 1994 Bonn (2) Wert ausschließen International Conference on Formal and Applied Practical Reasoning 1996 Bonn (2) Wert ausschließen KASHER, ASA (2) Wert ausschließen Lamb, Luís C. (2) Wert ausschließen Liao, Beishui (2) Wert ausschließen Marcelino, Sérgio (2) Wert ausschließen Reyle, Uwe (2) Wert ausschließen Schild, U. (2) Wert ausschließen Schild, Uri J. (2) Wert ausschließen Schmidt, Renate A. (2) Wert ausschließen Skvortsov, Dmitrij P. (2) Wert ausschließen Wansing, Heinrich (2) Wert ausschließen Wu, Yining (2) Wert ausschließen d’Avila Garcez, Artur S. (2) Wert ausschließen Šechtman, Valentin B. (2) Wert ausschließen Abramsky, Samson (1) Wert ausschließen Alonso, Enrique (1) Wert ausschließen Amir, Amihood (1) Wert ausschließen Artemov, Sergej N. (1) Wert ausschließen Baaz, Matthias (1) Wert ausschließen Bar-Lev, Zev (1) Wert ausschließen Barringer, Howard (1) Wert ausschließen Basin, David (1) Wert ausschließen Boger, George (1) Wert ausschließen Broda, Krysia (1) Wert ausschließen Burnett, Charles (1) Wert ausschließen Caminada, Martin W. A. (1) Wert ausschließen Carnielli, Walter (1) Wert ausschließen Carnielli, Walter Alexandre (1) Wert ausschließen Ciabattoni, Agata (1) Wert ausschließen Conforti, Claudio M. (1) Wert ausschließen Coniglio, Marcelo (1) Wert ausschließen Crochemore, Maxime (1) Wert ausschließen D'Agosting, Marcello (1) Wert ausschließen David, Esther (1) Wert ausschließen Dov M. Gabbay and Hans Jürgen Ohlbach (1) Wert ausschließen Gabbay, Dov. M. (1) Wert ausschließen Gabbay, DovM (1) Wert ausschließen Ganeri, Jonardon (1) Wert ausschließen Garcez, Artur S. d'Avila (1) Wert ausschließen Giordano, Laura (1) Wert ausschließen Gouveia, Paula (1) Wert ausschließen Guido Boella (1) Wert ausschließen Hazut, Gabriel (1) Wert ausschließen Hetzl, Stefan (1) Wert ausschließen Hogger, Christopher John (1) Wert ausschließen Horne, Ross (1) Wert ausschließen Hulstijn, Joris (1) Wert ausschließen Hölldobler, Steffen (1) Wert ausschließen International Joint Conference on Qualitative and Quantitative Practical Reasoning 1 1997 Honnef (1) Wert ausschließen Irvine, Andrew (1) Wert ausschließen Jasso Méndez, Jesús (1) Wert ausschließen Jennings, Raymond E. (1) Wert ausschließen Johnson, Fred (1) Wert ausschließen Johnson, Ralph H. (1) Wert ausschließen Kamp, Hans (1) Wert ausschließen Kempson, Ruth (1) Wert ausschließen Kempson, Ruth M. (1) Wert ausschließen Koppel, Moshe (1) Wert ausschließen Kriwaczek, Frank (1) Wert ausschließen Kruse, Rudolf (1) Wert ausschließen Lehmann, Daniel (1) Wert ausschließen MORAVCSIK, J. M. E. (1) Wert ausschließen Maibaum, Thomas S. E. (1) Wert ausschließen Maksimova, L. L. (1) Wert ausschließen Maksimova, Larisa L. (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (52) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (44) Wert ausschließen JSTOR Mathematics & Statistics (29) Wert ausschließen JSTOR Arts & Sciences VII Archive (22) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (13) Wert ausschließen Elsevier BV (CrossRef) (13) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (13) Wert ausschließen Elsevier eBook collection on ScienceDirect - Mathematics (11) Wert ausschließen Elsevier (CrossRef) (9) Wert ausschließen JSTOR Arts & Sciences I Archive (7) Wert ausschließen Oxford University Press (OUP) (CrossRef) (5) Wert ausschließen BASE - Bielefeld Academic Search Engine (4) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (4) Wert ausschließen Informa UK Limited (CrossRef) (4) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (4) Wert ausschließen Springer International Publishing (CrossRef) (2) Wert ausschließen Wiley (CrossRef) (2) Wert ausschließen Universidad Autonoma de la Ciudad de Mexico (CrossRef) (1) Wert ausschließen Show more show less