| 2008 |
|---|
| 43 | | Steffen Hölldobler,
Carsten Lutz,
Heinrich Wansing:
Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings
Springer 2008 |
| 42 | EE | Sergei P. Odintsov,
Heinrich Wansing:
Inconsistency-tolerant description logic. Part II: A tableau algorithm for CACLC.
J. Applied Logic 6(3): 343-360 (2008) |
| 41 | EE | Heinrich Wansing:
Editorial and call for papers.
J. Log. Comput. 18(4): 495-496 (2008) |
| 40 | EE | Heinrich Wansing,
Yaroslav Shramko:
Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System.
Studia Logica 88(3): 405-429 (2008) |
| 39 | EE | Heinrich Wansing,
Yaroslav Shramko:
Erratum to Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System Studia Logica , 88: 405-429, 2008.
Studia Logica 89(1): 147 (2008) |
| 2007 |
|---|
| 38 | EE | Heinrich Wansing:
Introduction and Call for Papers.
J. Log. Comput. 17(1): 5 (2007) |
| 37 | EE | Heinrich Wansing:
A Note on Negation in Categorial Grammar.
Logic Journal of the IGPL 15(3): 271-286 (2007) |
| 2006 |
|---|
| 36 | EE | Heinrich Wansing:
Tableaux for multi-agent deliberative-stit logic.
Advances in Modal Logic 2006: 503-520 |
| 35 | EE | Yaroslav Shramko,
Heinrich Wansing:
Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood.
Journal of Logic, Language and Information 15(4): 403-424 (2006) |
| 2005 |
|---|
| 34 | | Renate A. Schmidt,
Ian Pratt-Hartmann,
Mark Reynolds,
Heinrich Wansing:
Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004
King's College Publications 2005 |
| 33 | EE | Heinrich Wansing,
Sergei P. Odintsov,
Yaroslav Shramko:
From the Editors.
Studia Logica 80(2-3): 153-157 (2005) |
| 2004 |
|---|
| 32 | EE | Heinrich Wansing:
Connexive Modal Logic.
Advances in Modal Logic 2004: 367-383 |
| 31 | EE | Heinrich Wansing:
Editorial.
J. Log. Comput. 14(5): 623 (2004) |
| 30 | EE | Heinrich Wansing:
Agency and Deontic Logic, J.F. Horty.
Journal of Logic, Language and Information 13(3): 379-381 (2004) |
| 2003 |
|---|
| 29 | EE | Heinrich Wansing:
Editorial.
J. Log. Comput. 13(4): 451 (2003) |
| 2002 |
|---|
| 28 | | Frank Wolter,
Heinrich Wansing,
Maarten de Rijke,
Michael Zakharyaschev:
Advances in Modal Logic 3, papers from the third conference on "Advances in Modal logic," held in Leipzig (Germany) in October 2000
World Scientific 2002 |
| 27 | EE | Heinrich Wansing:
Review of Modal Logic by P. Blackburn, M. de Rijke, and Y. Venema.
Logic Journal of the IGPL 10(4): 457-458 (2002) |
| 26 | | Heinrich Wansing:
A Rule-Extension of the Non-Associative Lambek Calculus.
Studia Logica 71(3): 443-451 (2002) |
| 2001 |
|---|
| 25 | EE | Heinrich Wansing:
Editorial and Call for Papers.
J. Log. Comput. 11(1): 3-4 (2001) |
| 24 | EE | Heinrich Wansing:
Corner on directions in nonclassical logic.
J. Log. Comput. 11(6): 759-760 (2001) |
| 23 | | Roy Dyckhoff,
Heinrich Wansing:
Editorial.
Studia Logica 69(1): 3-4 (2001) |
| 22 | | Roy Dyckhoff,
Heinrich Wansing:
Editorial.
Studia Logica 69(2): 195-196 (2001) |
| 2000 |
|---|
| 21 | | Michael Zakharyaschev,
Krister Segerberg,
Maarten de Rijke,
Heinrich Wansing:
Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 1998
CSLI Publications 2000 |
| 20 | | Heinrich Wansing:
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.
Studia Logica 64(1): 3-20 (2000) |
| 19 | | François Lepage,
Elias Thijsse,
Heinrich Wansing:
Introduction.
Studia Logica 66(1): 1-4 (2000) |
| 1999 |
|---|
| 18 | | Heinrich Wansing:
Displaying The Modal Logic of Consistency.
J. Symb. Log. 64(4): 1573-1590 (1999) |
| 17 | | Heinrich Wansing:
Predicate Logics on Display.
Studia Logica 62(1): 49-75 (1999) |
| 1998 |
|---|
| 16 | | Michael Zakharyaschev,
Krister Segerberg,
Maarten de Rijke,
Heinrich Wansing:
The Origins of Modern Modal Logic.
Advances in Modal Logic 1998 |
| 15 | EE | Heinrich Wansing:
Editorial.
Logic Journal of the IGPL 6(3): 377-381 (1998) |
| 14 | EE | Heinrich Wansing:
Translation of Hypersequents into Display Sequents.
Logic Journal of the IGPL 6(5): 719-733 (1998) |
| 1997 |
|---|
| 13 | | Heinrich Wansing:
Modal Tableaux Based on Residuation.
J. Log. Comput. 7(6): 719-731 (1997) |
| 1996 |
|---|
| 12 | | Dov M. Gabbay,
Heinrich Wansing:
What is Negation in a System? Negation in Structured Consequence Relations.
Logic, Action, and Information 1996: 328-350 |
| 11 | | Elias Thijsse,
Heinrich Wansing:
A Fugue on the Themes of Awareness Logic and Correspondence.
Journal of Applied Non-Classical Logics 6(2): (1996) |
| 10 | EE | Heinrich Wansing:
Reviews.
Logic Journal of the IGPL 4(2): 305-308 (1996) |
| 1995 |
|---|
| 9 | EE | Heinrich Wansing:
Strong Cut-Elimination for Constant Domain First-Order S5.
Logic Journal of the IGPL 3(5): 797-810 (1995) |
| 8 | | Heinrich Wansing:
Tarskian Structured Consequence Relations and Functional Completeness.
Math. Log. Q. 41: 73-92 (1995) |
| 7 | | Heinrich Wansing:
Semantics-based Nonmonotonic Inference.
Notre Dame Journal of Formal Logic 36(1): 44-54 (1995) |
| 6 | EE | Heinrich Wansing:
Strong Cut-elimination in Display Logic.
Reports on Mathematical Logic 29: 117-131 (1995) |
| 1994 |
|---|
| 5 | | Heinrich Wansing:
Sequent Calculi for Normal Modal Proposisional Logics.
J. Log. Comput. 4(2): 125-142 (1994) |
| 4 | | Heinrich Wansing:
Tagungsbericht: Workshop ``Proof Theory of Modal Logic''.
KI 8(1): 33 (1994) |
| 1993 |
|---|
| 3 | | Heinrich Wansing:
The Logic of Information Structures
Springer 1993 |
| 1992 |
|---|
| 2 | | David Pearce,
Heinrich Wansing:
Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings
Springer 1992 |
| 1990 |
|---|
| 1 | | Heinrich Wansing:
Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic.
Nonclassical Logics and Information Processing 1990: 125-145 |
