Heinrich Wansing

	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		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		Heinrich Wansing: Editorial and call for papers. J. Log. Comput. 18(4): 495-496 (2008)
40		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		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		Heinrich Wansing: Introduction and Call for Papers. J. Log. Comput. 17(1): 5 (2007)
37		Heinrich Wansing: A Note on Negation in Categorial Grammar. Logic Journal of the IGPL 15(3): 271-286 (2007)
	2006
36		Heinrich Wansing: Tableaux for multi-agent deliberative-stit logic. Advances in Modal Logic 2006: 503-520
35		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		Heinrich Wansing, Sergei P. Odintsov, Yaroslav Shramko: From the Editors. Studia Logica 80(2-3): 153-157 (2005)
	2004
32		Heinrich Wansing: Connexive Modal Logic. Advances in Modal Logic 2004: 367-383
31		Heinrich Wansing: Editorial. J. Log. Comput. 14(5): 623 (2004)
30		Heinrich Wansing: Agency and Deontic Logic, J.F. Horty. Journal of Logic, Language and Information 13(3): 379-381 (2004)
	2003
29		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		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		Heinrich Wansing: Editorial and Call for Papers. J. Log. Comput. 11(1): 3-4 (2001)
24		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		Heinrich Wansing: Editorial. Logic Journal of the IGPL 6(3): 377-381 (1998)
14		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		Heinrich Wansing: Reviews. Logic Journal of the IGPL 4(2): 305-308 (1996)
	1995
9		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		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

Coauthor Index

1	Roy Dyckhoff	[22] [23]
2	Dov M. Gabbay	[12]
3	Steffen Hölldobler	[43]
4	François Lepage	[19]
5	Carsten Lutz	[43]
6	Sergei P. Odintsov	[33] [42]
7	David Pearce	[2]
8	Ian Pratt-Hartmann (Ian E. Pratt)	[34]
9	Mark Reynolds	[34]
10	Maarten de Rijke	[16] [21] [28]
11	Renate A. Schmidt	[34]
12	Krister Segerberg	[16] [21]
13	Yaroslav Shramko	[33] [35] [39] [40]
14	Elias Thijsse	[11] [19]
15	Frank Wolter	[28]
16	Michael Zakharyaschev	[16] [21] [28]

Colors in the list of coauthors