Heinrich Wansing

Norihiro Kamide, Heinrich Wansing: Proof theory of Nelson's paraconsistent logic: A uniform perspective. Theor. Comput. Sci. 415: 1-38 (2012)

Norihiro Kamide, Heinrich Wansing: Completeness and cut-elimination theorems for trilattice logics. Ann. Pure Appl. Logic 162(10): 816-835 (2011)

Norihiro Kamide, Heinrich Wansing: A Paraconsistent Linear-time Temporal Logic. Fundam. Inform. 106(1): 1-23 (2011)

Heinrich Wansing, Norihiro Kamide: Synchronized Linear-Time Temporal Logic. Studia Logica 99(1-3): 365-388 (2011)

Caroline Semmling, Heinrich Wansing: Reasoning About Belief Revision. Belief Revision meets Philosophy of Science 2011: 303-328

Heinrich Wansing, Nuel Belnap: Generalized truth values.: A reply to Dubois. Logic Journal of the IGPL 18(6): 921-935 (2010)

Sergei P. Odintsov, Heinrich Wansing: Modal logics with Belnapian truth values. Journal of Applied Non-Classical Logics 20(3): 279-304 (2010)

Norihiro Kamide, Heinrich Wansing: Combining linear-time temporal logic with constructiveness and paraconsistency. J. Applied Logic 8(1): 33-61 (2010)

Philip Kremer, Heinrich Wansing: Editorial Introduction. J. Philosophical Logic 39(4): 341-344 (2010)

Heinrich Wansing: The Power of Belnap: Sequent Systems for SIXTEEN₃. J. Philosophical Logic 39(4): 369-393 (2010)

Heinrich Wansing, Norihiro Kamide: Intuitionistic Trilattice Logics. J. Log. Comput. 20(6): 1201-1229 (2010)

Heinrich Wansing: Proofs, Disproofs, and Their Duals. Advances in Modal Logic 2010: 483-505

Walter Alexandre Carnielli, Heinrich Wansing: Editorial and call for papers: The Non-classical Logics Corner of the Journal of Logic and Computation. J. Log. Comput. 19(6): 987 (2009)

Yaroslav Shramko, Heinrich Wansing: Editorial Introduction. Truth Values: Part I. Studia Logica 91(3): 295-304 (2009)

Yaroslav Shramko, Heinrich Wansing: The Slingshot Argument and Sentential Identity. Studia Logica 91(3): 429-455 (2009)

Yaroslav Shramko, Heinrich Wansing: Editorial Introduction. Truth Values: Part II. Studia Logica 92(2): 143-146 (2009)

Heinrich Wansing: Constructive negation, implication, and co-implication. Journal of Applied Non-Classical Logics 18(2-3): 341-364 (2008)

Sergei P. Odintsov, Heinrich Wansing: Inconsistency-tolerant description logic. Part II: A tableau algorithm for CACL^C. J. Applied Logic 6(3): 343-360 (2008)

Heinrich Wansing: Editorial and call for papers. J. Log. Comput. 18(4): 495-496 (2008)

Heinrich Wansing, Yaroslav Shramko: Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System. Studia Logica 88(3): 405-429 (2008)

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)

Steffen Hölldobler, Carsten Lutz, Heinrich Wansing (Eds.): Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings. Lecture Notes in Computer Science 5293, Springer 2008, isbn 978-3-540-87802-5

Heinrich Wansing: A Note on Negation in Categorial Grammar. Logic Journal of the IGPL 15(3): 271-286 (2007)

Heinrich Wansing: Introduction and Call for Papers. J. Log. Comput. 17(1): 5 (2007)

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)

Heinrich Wansing: Connectives Stranger than Tonk. J. Philosophical Logic 35(6): 653-660 (2006)

Heinrich Wansing: Logical Connectives for Constructive Modal Logic. Synthese 150(3): 459-482 (2006)

Heinrich Wansing: Tableaux for multi-agent deliberative-stit logic. Advances in Modal Logic 2006: 503-520

Yaroslav Shramko, Heinrich Wansing: Some Useful 16-Valued Logics: How a Computer Network Should Think. J. Philosophical Logic 34(2): 121-153 (2005)

Heinrich Wansing, Sergei P. Odintsov, Yaroslav Shramko: From the Editors. Studia Logica 80(2-3): 153-157 (2005)

Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing (Eds.): 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, isbn 1-904987-22-2

Heinrich Wansing: Agency and Deontic Logic, J.F. Horty. Journal of Logic, Language and Information 13(3): 379-381 (2004)

Heinrich Wansing: Editorial. J. Log. Comput. 14(5): 623 (2004)

Heinrich Wansing: Connexive Modal Logic. Advances in Modal Logic 2004: 367-383

Heinrich Wansing: Action-Theoreticaspects of Theory Choice. Logic, Epistemology, and the Unity of Science 2004: 419-435

Heinrich Wansing: Editorial. J. Log. Comput. 13(4): 451 (2003)

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)

Heinrich Wansing: Diamonds are a Philosopher's Best Friends. J. Philosophical Logic 31(6): 591-612 (2002)

Heinrich Wansing: A Rule-Extension of the Non-Associative Lambek Calculus. Studia Logica 71(3): 443-451 (2002)

Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev (Eds.): 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, isbn 981-238-179-1

Heinrich Wansing: Editorial and Call for Papers. J. Log. Comput. 11(1): 3-4 (2001)

Heinrich Wansing: Corner on directions in nonclassical logic. J. Log. Comput. 11(6): 759-760 (2001)

Roy Dyckhoff, Heinrich Wansing: Editorial. Studia Logica 69(1): 3-4 (2001)

Roy Dyckhoff, Heinrich Wansing: Editorial. Studia Logica 69(2): 195-196 (2001)

Heinrich Wansing: The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations. Studia Logica 64(1): 3-20 (2000)

François Lepage, Elias Thijsse, Heinrich Wansing: Introduction. Studia Logica 66(1): 1-4 (2000)

Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing (Eds.): Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 1998. CSLI Publications 2000, isbn 1-57586-271-9

Heinrich Wansing: Displaying The Modal Logic of Consistency. J. Symb. Log. 64(4): 1573-1590 (1999)

Heinrich Wansing: Predicate Logics on Display. Studia Logica 62(1): 49-75 (1999)

Heinrich Wansing: Editorial. Logic Journal of the IGPL 6(3): 377-381 (1998)

Heinrich Wansing: Translation of Hypersequents into Display Sequents. Logic Journal of the IGPL 6(5): 719-733 (1998)

Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing: The Origins of Modern Modal Logic. Advances in Modal Logic 1998

Heinrich Wansing: Modal Tableaux Based on Residuation. J. Log. Comput. 7(6): 719-731 (1997)

Heinrich Wansing: Reviews. Logic Journal of the IGPL 4(2): 305-308 (1996)

Elias Thijsse, Heinrich Wansing: A Fugue on the Themes of Awareness Logic and Correspondence. Journal of Applied Non-Classical Logics 6(2): 127-136 (1996)

Dov M. Gabbay, Heinrich Wansing: What is Negation in a System? Negation in Structured Consequence Relations. Logic, Action, and Information 1996: 328-350

Heinrich Wansing: Strong Cut-Elimination for Constant Domain First-Order S5. Logic Journal of the IGPL 3(5): 797-810 (1995)

Heinrich Wansing: Tarskian Structured Consequence Relations and Functional Completeness. Math. Log. Q. 41: 73-92 (1995)

Heinrich Wansing: Semantics-based Nonmonotonic Inference. Notre Dame Journal of Formal Logic 36(1): 44-54 (1995)

Heinrich Wansing: Strong Cut-elimination in Display Logic. Reports on Mathematical Logic 29: 117-131 (1995)

Heinrich Wansing: Tagungsbericht: Workshop ``Proof Theory of Modal Logic''. KI 8(1): 33 (1994)

Heinrich Wansing: Sequent Calculi for Normal Modal Proposisional Logics. J. Log. Comput. 4(2): 125-142 (1994)

Heinrich Wansing: The Logic of Information Structures. Lecture Notes in Computer Science 681, Springer 1993, isbn 3-540-56734-8

David Pearce, Heinrich Wansing (Eds.): Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings. Lecture Notes in Computer Science 619, Springer 1992, isbn 3-540-55745-8

Heinrich Wansing: Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic. Nonclassical Logics and Information Processing 1990: 125-145