Treffer 1 – 8 von 8 für Suche 'Wansing, Heinrich T.', Suchdauer: 0,06s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Displaying modal logic von Wansing, Heinrich T.
Veröffentlicht 1998Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
-
2
Actions and preventions a constructive system of unsorted action logic von Wansing, Heinrich T.
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
3
What is negation in a system? von Gabbay, Dov M. 1945-, Wansing, Heinrich T.
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
4
Sequent calculi for normal modal propopsitional logics von Wansing, Heinrich T.
Veröffentlicht 1992Signatur: Wird geladen …
Standort: Wird geladen … -
5
The logic of information structures von Wansing, Heinrich T.
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
6
A full-circle theorem for simple tense logic von Wansing, Heinrich T.
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
7
What is negation in a system? von Gabbay, Dov M. 1945-, Wansing, Heinrich T.
Signatur: Wird geladen …
Standort: Wird geladen … -
8
The logic of information structures von Wansing, Heinrich T.
Veröffentlicht 1993Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …