Treffer 1 - 20 von 126 für Suche: 'Dov M Gabbay', Suchdauer: 0.73s
Kein Bild verfügbar
von Gabbay, Dov M. in Studia logica : an international journal for symbolic logic Vol. 93, No. 2/3 (2009), p. 357-381
...40587172 40587172 ger GBVCP eng Gabbay, Dov M. Semantics for Higher Level Attacks in Extended...
Online-Artikel
Zu den Favoriten
    Kein Bild verfügbar
    von Gabbay, Dov. M. in Studia logica : an international journal for symbolic logic Vol. 35, No. 3 (1976), p. 285-295
    ...20014817 20014817 ger GBVCP eng Gabbay, Dov. M. On Kreisel's Notion of Validity in Post Systems...
    Online-Artikel
    Zu den Favoriten
      Kein Bild verfügbar
      von Gabbay, Dov M. in The journal of symbolic logic Vol. 38, No. 1 (1973), p. 86-92
      ...10.2307/2271730 doi 2271730 2271730 ger GBVCP eng Gabbay, Dov M. The Undecidability of...
      Online-Artikel
      Zu den Favoriten
        Kein Bild verfügbar
        von Gabbay, Dov M. in Studia logica : an international journal for symbolic logic Vol. 93, No. 2/3 (2009), p. 181-198
        ...40587168 40587168 ger GBVCP eng Gabbay, Dov M. Modal Provability Foundations for Argumentation...
        Online-Artikel
        Zu den Favoriten
          Kein Bild verfügbar
          von Gabbay, Dov M. in Studia logica : an international journal for symbolic logic Vol. 36, No. 1/2 (1977), p. 127-139
          ...20014844 20014844 ger GBVCP eng Gabbay, Dov M. On Some New Intuitionistic Propositional Connectives...
          Online-Artikel
          Zu den Favoriten
            Kein Bild verfügbar
            von Gabbay, Dov M. in Studia logica : an international journal for symbolic logic Vol. 93, No. 2/3 (2009), p. 147-180
            ...40587167 40587167 ger GBVCP eng Gabbay, Dov M. Annotation Theories over Finite Graphs Elektronische...
            Online-Artikel
            Zu den Favoriten
              Kein Bild verfügbar
              von Gabbay, Dov M. in The journal of symbolic logic Vol. 42, No. 2 (1977), p. 306-308
              ...10.2307/2272135 doi 2272135 2272135 ger GBVCP eng Gabbay, Dov M. A New Version of Beth Semantics...
              Online-Artikel
              Zu den Favoriten
                Kein Bild verfügbar
                von Gabbay, Dov M. in Journal of logic, language and information : official journal of the European Foundation for Logic, Language and Information Vol. 19, No. 1 (2010), p. 3-32
                ...20685002 20685002 ger GBVCP eng Gabbay, Dov M. A Theory of Hierarchical Consequence and...
                Online-Artikel
                Zu den Favoriten
                  Kein Bild verfügbar
                  von GABBAY, Dov M. in Theoria : revista de teoría, historia y fundamentos de la ciencia : an international journal for theory, history and foundations of science Vol. 10, No. 23 (1995), p. 49-78
                  ...23915341 23915341 ger GBVCP eng GABBAY, Dov M. A GENERAL THEORY OF STRUCTURED CONSEQUENCE RELATIONS...
                  Online-Artikel
                  Zu den Favoriten
                    Kein Bild verfügbar
                    von Gabbay, Dov M. in Journal of philosophical logic Vol. 1, No. 1 (1972), p. 29-34
                    ...30221795 30221795 ger GBVCP eng Gabbay, Dov M. A General Filtration Method for Modal Logics...
                    Online-Artikel
                    Zu den Favoriten
                      Kein Bild verfügbar
                      von Gabbay, Dov M. in The journal of symbolic logic Vol. 57, No. 4 (1992), p. 1319-1365
                      ...10.2307/2275370 doi 2275370 2275370 ger GBVCP eng Gabbay, Dov M. Extending the Curry-Howard...
                      Online-Artikel
                      Zu den Favoriten
                        Kein Bild verfügbar
                        von Gabbay, Dov M. in Studia logica : an international journal for symbolic logic Vol. 93, No. 2/3 (2009), p. 105-108
                        ...40587165 40587165 ger GBVCP eng Gabbay, Dov M. Preface for Studia Logica Special Issue (2...
                        Online-Artikel
                        Zu den Favoriten
                          Kein Bild verfügbar
                          von Gabbay, Dov M. in Studia logica : an international journal for symbolic logic Vol. 61, No. 2 (1998), p. 237-280
                          ...20016002 20016002 ger GBVCP eng Gabbay, Dov M. Algorithmic Proof Methods and Cut Elimination for...
                          Online-Artikel
                          Zu den Favoriten
                            Kein Bild verfügbar
                            von Gabbay, Dov M. in Studia logica : an international journal for symbolic logic Vol. 93, No. 2/3 (2009), p. 199-230
                            ...40587169 40587169 ger GBVCP eng Gabbay, Dov M. Logical Modes of Attack in Argumentation Networks...
                            Online-Artikel
                            Zu den Favoriten
                              Kein Bild verfügbar
                              von Gabbay, Dov M. in Studia logica : an international journal for symbolic logic Vol. 92, No. 3 (2009), p. 381-394
                              ...40269071 10.1007/s11225-009-9199-9 40269071 ger GBVCP eng Gabbay, Dov M. Independence: Revision and...
                              Online-Artikel
                              Zu den Favoriten
                                Kein Bild verfügbar
                                von Gabbay, Dov M. in Studia logica : an international journal for symbolic logic Vol. 92, No. 3 (2009), p. 365-379
                                ...40269070 10.1007/s11225-009-9200-7 40269070 ger GBVCP eng Gabbay, Dov M. Voting by Eliminating...
                                Online-Artikel
                                Zu den Favoriten
                                  Kein Bild verfügbar
                                  von Gabbay, Dov M. in The journal of symbolic logic Vol. 35, No. 3 (1970), p. 431-437
                                  ...10.2307/2270700 doi 2270700 2270700 ger GBVCP eng Gabbay, Dov M. The Decidability of the Kreisel...
                                  Online-Artikel
                                  Zu den Favoriten
                                    Kein Bild verfügbar
                                    von Gabbay, Dov M. in Studia logica : an international journal for symbolic logic Vol. 94, No. 3 (2010), p. 403-432
                                    ...40587202 40587202 ger GBVCP eng Gabbay, Dov M. A Comment on Work by Booth and Co-authors...
                                    Online-Artikel
                                    Zu den Favoriten
                                      Kein Bild verfügbar
                                      von Gabbay, Dov M. in The journal of symbolic logic Vol. 41, No. 1 (1976), p. 81-94
                                      ...10.2307/2272948 doi 2272948 2272948 ger GBVCP eng Gabbay, Dov M. Completeness Properties of Heyting...
                                      Online-Artikel
                                      Zu den Favoriten
                                        Kein Bild verfügbar
                                        von Gabbay, Dov M. in Studia logica : an international journal for symbolic logic Vol. 34, No. 1 (1975), p. 59-67
                                        ...20014745 20014745 ger GBVCP eng Gabbay, Dov M. The Decision Problem for Some Finite Extensions of...
                                        Online-Artikel
                                        Zu den Favoriten
                                          Privacy Notice Ask a Librarian New Acquisitions