Suchergebnisse - Gabbay, Dov M.

Treffer filtern
  1. 1
    Buchumschlag

    Goal-directed proof theory
    von Gabbay, Dov M. 1945-, Olivetti, Nicola

    Veröffentlicht 2000
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Labelled deductive systems
    Band 1
    von Gabbay, Dov M. 1945-

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Logical tools for handling change in agent-based systems: with 8 tables
    von Gabbay, Dov M. 1945-, Schlechta, Karl 1948-

    Veröffentlicht 2010
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Interpolation and definability
    [1] - Modal and intuitionistic logics
    von Gabbay, Dov M. 1945-, Maksimova, Larisa L. 1943-

    Veröffentlicht 2009
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Analysis and synthesis of logics: how to cut and paste reasoning systems
    von Carnielli, Walter Alexandre 1952-, Coniglio, Marcelo Esteban, Gabbay, Dov M. 1945-, Gouveia, Paula, Sernadas, Cristina

    Veröffentlicht 2008
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Goal-Directed Proof Theory
    von Gabbay, Dov M.

    Veröffentlicht 2000
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Fibring logics
    von Gabbay, Dov M. 1945-

    Veröffentlicht 1999
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    What is Negation?
    von Gabbay, Dov M.

    Veröffentlicht 1999
    Elektronisch E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    A new perspective on nonmonotonic logics
    von Gabbay, Dov M. 1945-, Schlechta, Karl 1948-

    Veröffentlicht 2016
    Elektronisch E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

    Revision, acceptability and context: theoretical and algorithmic aspects
    von Gabbay, Dov M. 1945-, Rodrigues, Odinaldo T., Russo, Alexandra

    Veröffentlicht 2010
    Inhaltsverzeichnis
    Elektronisch E-Book


    Gespeichert in:
  11. 11
    Buchumschlag

    The reach of abduction: insight and trial
    von Gabbay, Dov M. 1945-, Woods, John

    Veröffentlicht 2005
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    What is negation in a system?
    Band 2 - Negation in structured consequence relations
    von Gabbay, Dov M. 1945-, Wansing, Heinrich T.

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Fibred semantics and the weaving of logics
    Band 1
    von Gabbay, Dov M. 1945-

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Elements of algorithmic proof
    von Gabbay, Dov M. 1945-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Labelled deductive systems
    Band 1
    von Gabbay, Dov M. 1945-

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Semantical investigations in Heyting's intuitionistic logic
    von Gabbay, Dov M. 1945-

    Veröffentlicht 1981
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    The functional interpretation of logical deduction
    von Queiroz, Ruy J. G. B. de 1958-, Oliveira, Anjolina G. de, Gabbay, Dov M. 1945-

    Veröffentlicht 2012
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Logical tools for handling change in agent-based systems: with ... 8 tables
    von Gabbay, Dov M. 1945-, Schlechta, Karl 1948-

    Veröffentlicht 2010
    Inhaltsverzeichnis
    Elektronisch E-Book


    Gespeichert in:
  19. 19
    Buchumschlag

    Investigations in modal and tense logics with applications to problems in philosophy and linguistics
    von Gabbay, Dov M. 1945-

    Veröffentlicht 1976
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Investigations in modal and tense logies with applications to problems in philosophy and linguistics
    von Gabbay, Dov M. 1945-

    Veröffentlicht 1976
    Buch


    Gespeichert in:

Suchwerkzeuge: