Heinrich Wansing

109 papers B 10Journal 91Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Bi-Connexive Logic, Bilateralism, and Negation Inconsistency. Rev. Symb. Log. Heinrich Wansing, Satoru Niki, Sergey Drobyshevich
2025	J	`jnl`	Quantifiers in connexive logic (in general and in particular). Log. J. IGPL Heinrich Wansing, Zach Weber
2024	J	`jnl`	Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology. Stud Logica Heinrich Wansing, Hitoshi Omori
2023	J	`jnl`	Logical Multilateralism. J. Philos. Log. Heinrich Wansing, Sara Ayhan
2023	J	`jnl`	On the Provable Contradictions of the Connexive Logics C and C3. J. Philos. Log. Satoru Niki, Heinrich Wansing
2023	J	`jnl`	Stit-Logic for Imagination Episodes with voluntary input. Rev. Symb. Log. Christopher Badura, Heinrich Wansing
2021	J	`jnl`	Correction to: The nature of entailment: an informational approach. Synth. Yaroslav Shramko, Heinrich Wansing
2021	J	`jnl`	Routley Star and Hyperintensionality. J. Philos. Log. Sergei P. Odintsov, Heinrich Wansing
2021	J	`jnl`	The nature of entailment: an informational approach. Synth. Yaroslav Shramko, Heinrich Wansing
2021	J	`jnl`	Varieties of entailment: introduction to the special issue. Synth. Heinrich Wansing, Marco Ruffino
2020	B	`conf`	An Extension of Connexive Logic C. AiML Hitoshi Omori, Heinrich Wansing
2020	J	`jnl`	Proof Systems for various FDE-based Modal Logics. Rev. Symb. Log. Sergey Drobyshevich, Heinrich Wansing
2019	J	`jnl`	Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic. Stud Logica Grigory K. Olkhovikov, Heinrich Wansing
2019	J	`jnl`	Simplified Tableaux for STIT Imagination Logic. J. Philos. Log. Grigory K. Olkhovikov, Heinrich Wansing
2018	J	`jnl`	An Axiomatic System and a Tableau Calculus for STIT Imagination Logic. J. Philos. Log. Grigory K. Olkhovikov, Heinrich Wansing
2018	J	`jnl`	Negation as Cancellation, Connexive Logic, and qLPm. Australas. J. Log. Heinrich Wansing, Daniel Skurt
2018	J	`jnl`	On contra-Classical Variants of Nelson Logic N4 and its Classical Extension. Rev. Symb. Log. Hitoshi Omori, Heinrich Wansing
2017	J	`jnl`	40 years of FDE: An Introductory Overview. Stud Logica Hitoshi Omori, Heinrich Wansing
2017	J	`jnl`	A more general general proof theory. J. Appl. Log. Heinrich Wansing
2017	J	`jnl`	Disentangling FDE-Based Paraconsistent Modal Logics. Stud Logica Sergei P. Odintsov, Heinrich Wansing
2017	J	`jnl`	Inference as doxastic agency. Part II: Ramifications and refinements. Australas. J. Log. Heinrich Wansing, Grigory K. Olkhovikov
2017	J	`jnl`	Introduction to the special issue "Doxastic Agency and Epistemic Responsibility". Synth. Andrea Kruse, Heinrich Wansing
2017	J	`jnl`	Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant. Stud Logica Norihiro Kamide, Yaroslav Shramko, Heinrich Wansing
2017	J	`jnl`	Remarks on the logic of imagination. A step towards understanding doxastic control through imagination. Synth. Heinrich Wansing
2017	J	`jnl`	Reprint of: A more general general proof theory. J. Appl. Log. Heinrich Wansing
2016	J	`jnl`	Completeness of Connexive Heyting-Brouwer Logic. FLAP Norihiro Kamide, Heinrich Wansing
2016	J	`jnl`	Editorial Preface. FLAP Heinrich Wansing, Hitoshi Omori, Thomas Macaulay Ferguson
2016	J	`jnl`	Falsification, natural deduction and bi-intuitionistic logic. J. Log. Comput. Heinrich Wansing
2016	J	`jnl`	Natural Deduction for Bi-Connexive Logic and a Two-Sorted Typed -Calculus. FLAP Heinrich Wansing
2015	J	`jnl`	External Curries. J. Philos. Log. Heinrich Wansing, Graham Priest
2015	J	`jnl`	The Logic of Generalized Truth Values and the Logic of Bilattices. Stud Logica Sergei P. Odintsov, Heinrich Wansing
2014	J	`jnl`	Hypersequent and Display Calculi - a Unified Perspective. Stud Logica Agata Ciabattoni, Revantha Ramanayake, Heinrich Wansing
2013	J	`jnl`	Preface. Stud Logica Heinrich Wansing, Roberto Ciuni, Caroline Willkommen
2012	J	`jnl`	Proof theory of Nelson's paraconsistent logic: A uniform perspective. Theor. Comput. Sci. Norihiro Kamide, Heinrich Wansing
2011	J	`jnl`	A Paraconsistent Linear-time Temporal Logic. Fundam. Informaticae Norihiro Kamide, Heinrich Wansing
2011	J	`jnl`	Completeness and cut-elimination theorems for trilattice logics. Ann. Pure Appl. Log. Norihiro Kamide, Heinrich Wansing
2011	—	`ch.`	Reasoning About Belief Revision. Belief Revision meets Philosophy of Science Caroline Semmling, Heinrich Wansing
2011	J	`jnl`	Synchronized Linear-Time Temporal Logic. Stud Logica Heinrich Wansing, Norihiro Kamide
2010	J	`jnl`	Combining linear-time temporal logic with constructiveness and paraconsistency. J. Appl. Log. Norihiro Kamide, Heinrich Wansing
2010	J	`jnl`	Editorial Introduction. J. Philos. Log. Philip Kremer, Heinrich Wansing
2010	J	`jnl`	Generalized truth values.: A reply to Dubois. Log. J. IGPL Heinrich Wansing, Nuel Belnap
2010	J	`jnl`	Intuitionistic Trilattice Logics. J. Log. Comput. Heinrich Wansing, Norihiro Kamide
2010	J	`jnl`	Modal logics with Belnapian truth values. J. Appl. Non Class. Logics Sergei P. Odintsov, Heinrich Wansing
2010	B	`conf`	Proofs, Disproofs, and Their Duals. Advances in Modal Logic Heinrich Wansing
2010	J	`jnl`	The Power of Belnap: Sequent Systems for J. Philos. Log. Heinrich Wansing
2009	J	`jnl`	Editorial Introduction. Truth Values: Part I. Stud Logica Yaroslav Shramko, Heinrich Wansing
2009	J	`jnl`	Editorial Introduction. Truth Values: Part II. Stud Logica Yaroslav Shramko, Heinrich Wansing
2009	J	`jnl`	Editorial and call for papers: The Non-classical Logics Corner of the J. Log. Comput. Walter Alexandre Carnielli, Heinrich Wansing
2009	—	`ch.`	From Logic to Mathematical Philosophy. Towards Mathematical Philosophy David Makinson, Jacek Malinowski, Heinrich Wansing
2009	J	`jnl`	Sequent Calculi for some Trilattice Logics. Rev. Symb. Log. Norihiro Kamide, Heinrich Wansing
2009	J	`jnl`	The Slingshot Argument and Sentential Identity. Stud Logica Yaroslav Shramko, Heinrich Wansing
2009	—	`book`	Towards Mathematical Philosophy David Makinson, Jacek Malinowski, Heinrich Wansing
2008	J	`jnl`	Constructive negation, implication, and co-implication. J. Appl. Non Class. Logics Heinrich Wansing
2008	J	`jnl`	Editorial and call for papers. J. Log. Comput. Heinrich Wansing
2008	J	`jnl`	Erratum to Stud Logica Heinrich Wansing, Yaroslav Shramko
2008	J	`jnl`	Inconsistency-tolerant description logic. Part II: A tableau algorithm for CACL J. Appl. Log. Sergei P. Odintsov, Heinrich Wansing
2008	B	`ed.`	Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings JELIA Steffen Hölldobler, Carsten Lutz, Heinrich Wansing
2008	J	`jnl`	Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System. Stud Logica Heinrich Wansing, Yaroslav Shramko
2007	J	`jnl`	A Note on Negation in Categorial Grammar. Log. J. IGPL Heinrich Wansing
2007	J	`jnl`	Introduction and Call for Papers. J. Log. Comput. Heinrich Wansing
2006	J	`jnl`	Connectives Stranger than Tonk. J. Philos. Log. Heinrich Wansing
2006	J	`jnl`	Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood. J. Log. Lang. Inf. Yaroslav Shramko, Heinrich Wansing
2006	J	`jnl`	Logical Connectives for Constructive Modal Logic. Synth. Heinrich Wansing
2006	B	`conf`	Tableaux for multi-agent deliberative-stit logic. Advances in Modal Logic Heinrich Wansing
2005	B	`ed.`	Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester, UK, 9-11 September 2004 Advances in Modal Logic Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing
2005	J	`jnl`	From the Editors. Stud Logica Heinrich Wansing, Sergei P. Odintsov, Yaroslav Shramko
2005	J	`jnl`	Some Useful 16-Valued Logics: How a Computer Network Should Think. J. Philos. Log. Yaroslav Shramko, Heinrich Wansing
2004	—	`ch.`	Action-Theoreticaspects of Theory Choice. Logic, Epistemology, and the Unity of Science Heinrich Wansing
2004	J	`jnl`	Agency and Deontic Logic, J.F. Horty. J. Log. Lang. Inf. Heinrich Wansing
2004	B	`conf`	Connexive Modal Logic. Advances in Modal Logic Heinrich Wansing
2004	J	`jnl`	Editorial. J. Log. Comput. Heinrich Wansing
2003	J	`jnl`	Editorial. J. Log. Comput. Heinrich Wansing
2002	J	`jnl`	A Rule-Extension of the Non-Associative Lambek Calculus. Stud Logica Heinrich Wansing
2002	B	`ed.`	Advances in Modal Logic 3, papers from the third conference on "Advances in Modal logic," held in Leipzig, Germany, 4-7 October 2000 Advances in Modal Logic Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev
2002	J	`jnl`	Diamonds are a Philosopher's Best Friends. J. Philos. Log. Heinrich Wansing
2002	J	`jnl`	Review of Modal Logic by P. Blackburn, M. de Rijke, and Y. Venema. Log. J. IGPL Heinrich Wansing
2001	J	`jnl`	Corner on directions in nonclassical logic. J. Log. Comput. Heinrich Wansing
2001	J	`jnl`	Editorial and Call for Papers. J. Log. Comput. Heinrich Wansing
2001	J	`jnl`	Editorial. Stud Logica Roy Dyckhoff, Heinrich Wansing
2001	J	`jnl`	Editorial. Stud Logica Roy Dyckhoff, Heinrich Wansing
2000	B	`ed.`	Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 16-18 October 1998 Advances in Modal Logic Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing
2000	J	`jnl`	Introduction. Stud Logica François Lepage, Elias Thijsse, Heinrich Wansing
2000	J	`jnl`	The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations. Stud Logica Heinrich Wansing
1999	J	`jnl`	Displaying The Modal Logic of Consistency. J. Symb. Log. Heinrich Wansing
1999	J	`jnl`	Predicate Logics on Display. Stud Logica Heinrich Wansing
1998	B	`ed.`	Advances in Modal Logic 1, papers from the first workshop on "Advances in Modal logic," held in Berlin, Germany, 8-10 October 1996. Advances in Modal Logic Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev
1998	J	`jnl`	Editorial. Log. J. IGPL Heinrich Wansing
1998	J	`jnl`	Editorial. Log. J. IGPL Heinrich Wansing
1998	B	`conf`	The Origins of Modern Modal Logic. Advances in Modal Logic Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing
1998	J	`jnl`	Translation of Hypersequents into Display Sequents. Log. J. IGPL Heinrich Wansing
1997	J	`jnl`	Modal Tableaux Based on Residuation. J. Log. Comput. Heinrich Wansing
1996	J	`jnl`	A Fugue on the Themes of Awareness Logic and Correspondence. J. Appl. Non Class. Logics Elias Thijsse, Heinrich Wansing
1996	J	`jnl`	Reviews. Log. J. IGPL Heinrich Wansing
1996	—	`ch.`	What is Negation in a System? Negation in Structured Consequence Relations. Logic, Action, and Information Dov M. Gabbay, Heinrich Wansing
1995	J	`jnl`	Semantics-based Nonmonotonic Inference. Notre Dame J. Formal Log. Heinrich Wansing
1995	J	`jnl`	Strong Cut-Elimination for Constant Domain First-Order Log. J. IGPL Heinrich Wansing
1995	J	`jnl`	Strong Cut-elimination in Display Logic. Reports Math. Log. Heinrich Wansing
1995	J	`jnl`	Tarskian Structured Consequence Relations and Functional Completeness. Math. Log. Q. Heinrich Wansing
1994	J	`jnl`	Sequent Calculi for Normal Modal Proposisional Logics. J. Log. Comput. Heinrich Wansing
1994	J	`jnl`	Tagungsbericht: Workshop "Proof Theory of Modal Logic". Künstliche Intell. Heinrich Wansing
1993	J	`jnl`	Functional completeness for subsystems of intuitionistic propositional logic. J. Philos. Log. Heinrich Wansing
1993	J	`jnl`	Informational interpretation of substructural propositional logics. J. Log. Lang. Inf. Heinrich Wansing
1993	—	`book`	The Logic of Information Structures Heinrich Wansing
1992	—	`ed.`	Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings Nonclassical Logics and Information Processing David Pearce, Heinrich Wansing
1991	J	`jnl`	Addenda and corrigenda to "A general possible worlds framework for reasoning about knowledge and belief". Stud Logica Heinrich Wansing
1990	J	`jnl`	A general possible worlds framework for reasoning about knowledge and belief. Stud Logica Heinrich Wansing
1990	—	`conf`	Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic. Nonclassical Logics and Information Processing Heinrich Wansing
1989	J	`jnl`	Bemerkungen Zur Semantik Nicht-Normaler Möglicher Welten. Math. Log. Q. Heinrich Wansing
1988	J	`jnl`	On the methodology of possible worlds semantics. I. Correspondence theory. Notre Dame J. Formal Log. David Pearce, Heinrich Wansing