Wansing, Heinrich, 1963-....
Wansing, Heinrich.
Wansing, H. (Heinrich)
Wansing, Heinrich (Heinrich Theodor), 1963-
Wansing, Heinrich Theodor
Heinrich Wansing
VIAF ID: 54284921 ( Personal )
Permalink: http://viaf.org/viaf/54284921
Preferred Forms
- 100 0 _ ‡a Heinrich Wansing
- 200 _ | ‡a Wansing ‡b Heinrich ‡f 1963-....
-
- 100 1 0 ‡a Wansing, H. ‡q (Heinrich)
-
-
- 100 1 _ ‡a Wansing, Heinrich
- 100 1 _ ‡a Wansing, Heinrich
-
-
-
- 100 1 _ ‡a Wansing, Heinrich ‡d 1963-
- 100 1 _ ‡a Wansing, Heinrich ‡d 1963-
-
- 100 1 _ ‡a Wansing, Heinrich, ‡d 1963-
- 100 1 _ ‡a Wansing, Heinrich, ‡d 1963-....
-
4xx's: Alternate Name Forms (15)
5xx's: Related Names (1)
- 551 _ _ ‡a Ruhr-Universität Bochum, Fakultät für Philosophie und Erziehungswissenschaft, Lehreinheit Philosophie, Logik und Erkenntnistheorie ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
Works
Title | Sources |
---|---|
Actions and preventions a constructive system of unsorted action logic | |
Advances in modal logic. | |
Constructive predicate logic and constructive modal logic formal duality versus semantical duality | |
Dag Prawitz on proofs and meaning | |
Displaying modal logic, c1998: | |
Editorial introduction : truth values. | |
Essays on non-classical logic | |
From BDI AND stit TO bdi-stit LOGIC | |
full-circle theorem for simple tense logic | |
Knowledge and belief in philosophy and artificial intelligence | |
Lexikon der Erkenntnistheorie | |
The logic of information structures | |
Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 : proceedings | |
Negation : a notion in focus | |
Negation as falsity : a reply to Tennant. | |
New essays on Belnap-Dunn logic | |
Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings | |
Proof theory of modal logic | |
Recent trends in philosophical logic | |
Referenz und Realität | |
Sequent calculi for normal modal propositional logics | |
The slingshot argument and sentential identity | |
Suszko's thesis, inferential Many-valuedness, and the notion of a logical system | |
Symmetric and dual paraconsistent logics | |
Synchronized linear-time temporal logic | |
Third German-Polish Workshop on Logic and Logical Philosophy | |
Truth and falsehood an inquiry into generalized logical values | |
The Unity of Science in the Arabic Tradition : Science, Logic, Epistemology and their Interactions | |
What is negation? |