On the methodology of possible worlds semantics. I. Correspondence theory. - David Pearce 001; Heinrich Wansing (Notre Dame J. Formal Log., 1988)

Bemerkungen Zur Semantik Nicht-Normaler Möglicher Welten. - Heinrich Wansing (Math. Log. Q., 1989)

Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic. - Heinrich Wansing (Nonclassical Logics and Information Processing, 1990)

A general possible worlds framework for reasoning about knowledge and belief. - Heinrich Wansing (Stud Logica, 1990)

Addenda and corrigenda to "A general possible worlds framework for reasoning about knowledge and belief". - Heinrich Wansing (Stud Logica, 1991)

The Logic of Information Structures - Heinrich Wansing (Springer, 1993)

Informational interpretation of substructural propositional logics. - Heinrich Wansing (J. Log. Lang. Inf., 1993)

Functional completeness for subsystems of intuitionistic propositional logic. - Heinrich Wansing (J. Philos. Log., 1993)

Tagungsbericht: Workshop "Proof Theory of Modal Logic". - Heinrich Wansing (Künstliche Intell., 1994)

Sequent Calculi for Normal Modal Proposisional Logics. - Heinrich Wansing (J. Log. Comput., 1994)

Strong Cut-Elimination for Constant Domain First-Order S5. - Heinrich Wansing (Log. J. IGPL, 1995)

Tarskian Structured Consequence Relations and Functional Completeness. - Heinrich Wansing (Math. Log. Q., 1995)

Semantics-based Nonmonotonic Inference. - Heinrich Wansing (Notre Dame J. Formal Log., 1995)

Strong Cut-elimination in Display Logic. - Heinrich Wansing (Reports Math. Log., 1995)

What is Negation in a System? Negation in Structured Consequence Relations. - Dov M. Gabbay; Heinrich Wansing (Logic, Action, and Information, 1996)

Reviews. - Heinrich Wansing (Log. J. IGPL, 1996)

A Fugue on the Themes of Awareness Logic and Correspondence. - Elias Thijsse; Heinrich Wansing (J. Appl. Non Class. Logics, 1996)

Modal Tableaux Based on Residuation. - Heinrich Wansing (J. Log. Comput., 1997)

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

Translation of Hypersequents into Display Sequents. - Heinrich Wansing (Log. J. IGPL, 1998)

Displaying The Modal Logic of Consistency. - Heinrich Wansing (J. Symb. Log., 1999)

Predicate Logics on Display. - Heinrich Wansing (Stud Logica, 1999)

Introduction. - François Lepage; Elias Thijsse; Heinrich Wansing (Stud Logica, 2000)

The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations. - Heinrich Wansing (Stud Logica, 2000)

Editorial and Call for Papers. - Heinrich Wansing (J. Log. Comput., 2001)

Corner on directions in nonclassical logic. - Heinrich Wansing (J. Log. Comput., 2001)

Editorial. - Roy Dyckhoff; Heinrich Wansing (Stud Logica, 2001)

Review of Modal Logic by P. Blackburn, M. de Rijke, and Y. Venema. - Heinrich Wansing (Log. J. IGPL, 2002)

Diamonds are a Philosopher's Best Friends. - Heinrich Wansing (J. Philos. Log., 2002)

A Rule-Extension of the Non-Associative Lambek Calculus. - Heinrich Wansing (Stud Logica, 2002)

Editorial. - Heinrich Wansing (J. Log. Comput., 2003)

Connexive Modal Logic. - Heinrich Wansing (Advances in Modal Logic, 2004)

Agency and Deontic Logic, J.F. Horty. - Heinrich Wansing (J. Log. Lang. Inf., 2004)

Action-Theoreticaspects of Theory Choice. - Heinrich Wansing (Logic, Epistemology, and the Unity of Science, 2004)

Some Useful 16-Valued Logics: How a Computer Network Should Think. - Yaroslav Shramko; Heinrich Wansing (J. Philos. Log., 2005)

From the Editors. - Heinrich Wansing; Sergei P. Odintsov; Yaroslav Shramko (Stud Logica, 2005)

Tableaux for multi-agent deliberative-stit logic. - Heinrich Wansing (Advances in Modal Logic, 2006)

Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood. - Yaroslav Shramko; Heinrich Wansing (J. Log. Lang. Inf., 2006)

Connectives Stranger than Tonk. - Heinrich Wansing (J. Philos. Log., 2006)

Logical Connectives for Constructive Modal Logic. - Heinrich Wansing (Synth., 2006)

A Note on Negation in Categorial Grammar. - Heinrich Wansing (Log. J. IGPL, 2007)

Introduction and Call for Papers. - Heinrich Wansing (J. Log. Comput., 2007)

Constructive negation, implication, and co-implication. - Heinrich Wansing (J. Appl. Non Class. Logics, 2008)

Inconsistency-tolerant description logic. Part II: A tableau algorithm for CACLC. - Sergei P. Odintsov; Heinrich Wansing (J. Appl. Log., 2008)

Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System. - Heinrich Wansing; Yaroslav Shramko (Stud Logica, 2008)

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

From Logic to Mathematical Philosophy. - David Makinson; Jacek Malinowski; Heinrich Wansing (Towards Mathematical Philosophy, 2009)

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

Sequent Calculi for some Trilattice Logics. - Norihiro Kamide; Heinrich Wansing (Rev. Symb. Log., 2009)

Editorial Introduction. Truth Values: Part I. - Yaroslav Shramko; Heinrich Wansing (Stud Logica, 2009)

The Slingshot Argument and Sentential Identity. - Yaroslav Shramko; Heinrich Wansing (Stud Logica, 2009)

Editorial Introduction. Truth Values: Part II. - Yaroslav Shramko; Heinrich Wansing (Stud Logica, 2009)

Proofs, Disproofs, and Their Duals. - Heinrich Wansing (Advances in Modal Logic, 2010)

Generalized truth values.: A reply to Dubois. - Heinrich Wansing; Nuel Belnap (Log. J. IGPL, 2010)

Modal logics with Belnapian truth values. - Sergei P. Odintsov; Heinrich Wansing (J. Appl. Non Class. Logics, 2010)

Combining linear-time temporal logic with constructiveness and paraconsistency. - Norihiro Kamide; Heinrich Wansing (J. Appl. Log., 2010)

Editorial Introduction. - Philip Kremer; Heinrich Wansing (J. Philos. Log., 2010)

The Power of Belnap: Sequent Systems for SIXTEEN3. - Heinrich Wansing (J. Philos. Log., 2010)

Intuitionistic Trilattice Logics. - Heinrich Wansing; Norihiro Kamide (J. Log. Comput., 2010)

Completeness and cut-elimination theorems for trilattice logics. - Norihiro Kamide; Heinrich Wansing (Ann. Pure Appl. Log., 2011)

A Paraconsistent Linear-time Temporal Logic. - Norihiro Kamide; Heinrich Wansing (Fundam. Informaticae, 2011)

Synchronized Linear-Time Temporal Logic. - Heinrich Wansing; Norihiro Kamide (Stud Logica, 2011)

Reasoning About Belief Revision. - Caroline Semmling; Heinrich Wansing (Belief Revision meets Philosophy of Science, 2011)

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

Preface. - Heinrich Wansing; Roberto Ciuni; Caroline Willkommen (Stud Logica, 2013)

Hypersequent and Display Calculi - a Unified Perspective. - Agata Ciabattoni; Revantha Ramanayake; Heinrich Wansing (Stud Logica, 2014)

External Curries. - Heinrich Wansing; Graham Priest (J. Philos. Log., 2015)

The Logic of Generalized Truth Values and the Logic of Bilattices. - Sergei P. Odintsov; Heinrich Wansing (Stud Logica, 2015)

Completeness of Connexive Heyting-Brouwer Logic. - Norihiro Kamide; Heinrich Wansing (FLAP, 2016)

Natural Deduction for Bi-Connexive Logic and a Two-Sorted Typed -Calculus. - Heinrich Wansing (FLAP, 2016)

Editorial Preface. - Heinrich Wansing; Hitoshi Omori; Thomas Macaulay Ferguson (FLAP, 2016)

Falsification, natural deduction and bi-intuitionistic logic. - Heinrich Wansing (J. Log. Comput., 2016)

A more general general proof theory. - Heinrich Wansing (J. Appl. Log., 2017)

Reprint of: A more general general proof theory. - Heinrich Wansing (J. Appl. Log., 2017)

Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant. - Norihiro Kamide; Yaroslav Shramko; Heinrich Wansing (Stud Logica, 2017)

Disentangling FDE-Based Paraconsistent Modal Logics. - Sergei P. Odintsov; Heinrich Wansing (Stud Logica, 2017)

40 years of FDE: An Introductory Overview. - Hitoshi Omori; Heinrich Wansing (Stud Logica, 2017)

Introduction to the special issue "Doxastic Agency and Epistemic Responsibility". - Andrea Kruse; Heinrich Wansing (Synth., 2017)

Remarks on the logic of imagination. A step towards understanding doxastic control through imagination. - Heinrich Wansing (Synth., 2017)

An Axiomatic System and a Tableau Calculus for STIT Imagination Logic. - Grigory K. Olkhovikov; Heinrich Wansing (J. Philos. Log., 2018)

On contra-Classical Variants of Nelson Logic N4 and its Classical Extension. - Hitoshi Omori; Heinrich Wansing (Rev. Symb. Log., 2018)

Simplified Tableaux for STIT Imagination Logic. - Grigory K. Olkhovikov; Heinrich Wansing (J. Philos. Log., 2019)

Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic. - Grigory K. Olkhovikov; Heinrich Wansing (Stud Logica, 2019)

An Extension of Connexive Logic C. - Hitoshi Omori; Heinrich Wansing (AiML, 2020)

Proof Systems for various FDE-based Modal Logics. - Sergey Drobyshevich; Heinrich Wansing (Rev. Symb. Log., 2020)

Routley Star and Hyperintensionality. - Sergei P. Odintsov; Heinrich Wansing (J. Philos. Log., 2021)

The nature of entailment: an informational approach. - Yaroslav Shramko; Heinrich Wansing (Synth., 2021)

Correction to: The nature of entailment: an informational approach. - Yaroslav Shramko; Heinrich Wansing (Synth., 2021)

Varieties of entailment: introduction to the special issue. - Heinrich Wansing; Marco Ruffino (Synth., 2021)

Stit-Logic for Imagination Episodes with voluntary input. - Christopher Badura; Heinrich Wansing (Rev. Symb. Log., 2023)

On the Provable Contradictions of the Connexive Logics C and C3. - Satoru Niki; Heinrich Wansing (J. Philos. Log., 2023)

Logical Multilateralism. - Heinrich Wansing; Sara Ayhan (J. Philos. Log., 2023)

Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology. - Heinrich Wansing; Hitoshi Omori (Stud Logica, 2024)