Suchergebnisse - Wansing, Heinrich T.

  • Treffer 1 – 8 von 8
Treffer filtern
  1. 1
    Buchumschlag

    The logic of information structures
    von Wansing, Heinrich T.

    Veröffentlicht 1993
    Hochschulschrift/Dissertation Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    The logic of information structures
    von Wansing, Heinrich T.

    Veröffentlicht 1993
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Displaying modal logic
    von Wansing, Heinrich T.

    Veröffentlicht 1998
    Inhaltsverzeichnis
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Actions and preventions: a constructive system of unsorted action logic
    von Wansing, Heinrich T.

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  5. 5
    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:
  6. 6
    Buchumschlag

    A full-circle theorem for simple tense logic
    von Wansing, Heinrich T.

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Sequent calculi for normal modal propopsitional logics
    von Wansing, Heinrich T.

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    What is negation in a system?
    von Gabbay, Dov M. 1945-, Wansing, Heinrich T.

    Buch


    Gespeichert in:

Suchwerkzeuge: