Edit Profile (opens in new tab) Wansing, Heinrich Theodor Co-Author Distance Author ID: wansing.heinrich-theodor Published as: Wansing, Heinrich; Wansing, H.; Wansing, Heinrich Theodor more...less External Links: MGP Documents Indexed: 116 Publications since 1988, including 5 Books 26 Contributions as Editor Reviewing Activity: 70 Reviews Co-Authors: 46 Co-Authors with 88 Joint Publications 694 Co-Co-Authors all top 5 Co-Authors 52 single-authored 14 Shramko, Yaroslav V. 11 Kamide, Norihiro 11 Odintsov, Sergei P. 8 Omori, Hitoshi 5 de Rijke, Maarten 5 Olkhovikov, Grigory K. 4 Skurt, Daniel 4 Zakharyaschev, Michael Viktorovich 3 Semmling, Caroline 3 Urchs, Max Peter 2 Ayhan, Sara 2 Belnap, Nuel D. jun. 2 Ciuni, Roberto 2 Drobyshevich, Sergeĭ Andreevich 2 Dyckhoff, Roy 2 Gabbay, Dov M. 2 Makinson, David Clement 2 Malinowski, Jacek 2 Segerberg, Krister 2 Thijsse, Elias G. C. 2 Willkommen, Caroline 1 Badura, Christopher 1 Blasio, Carolina 1 Ciabattoni, Agata 1 Gomolińska, Anna 1 Hendricks, Vincent F. 1 Hölldobler, Steffen 1 Kracht, Marcus 1 Kremer, Philip 1 Laux, Armin 1 Lepage, François 1 Leszko, Robert 1 Lutz, Carsten 1 Marcos, João 1 Neuhaus, Fabian 1 Niki, Satoru 1 Pedersen, Stig Andur 1 Pratt-Hartmann, Ian 1 Priest, Graham 1 Ramanayake, Revantha 1 Reynolds, Mark Alexander 1 Ruffino, Marco Antonio 1 Scheffler, Uwe 1 Schmidt, Renate A. 1 Unterhuber, Matthias 1 Wolter, Frank all top 5 Serials 20 Studia Logica 12 Journal of Philosophical Logic 9 Logic and Logical Philosophy 5 Synthese 4 Bulletin of the Section of Logic 4 Journal of Logic and Computation 4 Logic Journal of the IGPL 4 Journal of Applied Logic 4 Trends in Logic – Studia Logica Library 4 The Review of Symbolic Logic 3 Journal of Logic, Language and Information 3 Journal of Applied Non-Classical Logics 3 Lecture Notes in Computer Science 2 Notre Dame Journal of Formal Logic 2 Reports on Mathematical Logic 2 Erkenntnis 2 The Australasian Journal of Logic 2 CSLI Lecture Notes 2 Applied Logic Series 1 The Journal of Symbolic Logic 1 Theoretical Computer Science 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Annals of Pure and Applied Logic 1 Mathematical Logic Quarterly (MLQ) 1 Journal of the IGPL 1 Topoi 1 Fundamenta Informaticae 1 Synthese Library 1 Advances in Logic 1 Logische Philosophie 1 Studies in Logic (London) 1 Outstanding Contributions to Logic 1 Logicheskie Issledovaniya Fields 141 Mathematical logic and foundations (03-XX) 27 General and overarching topics; collections (00-XX) 19 Computer science (68-XX) 4 History and biography (01-XX) 2 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 108 Publications have been cited 1,062 times in 505 Documents Cited by ▼ Year ▼ Connexive modal logic. Zbl 1107.03017 Wansing, Heinrich 67 2005 The logic of information structures. Zbl 0788.03001 Wansing, Heinrich 57 1993 Some useful 16-valued logics: How a computer network should think. Zbl 1094.03012 Shramko, Yaroslav; Wansing, Heinrich 50 2005 Truth and falsehood. An inquiry into generalized logical values. Zbl 1251.03002 Shramko, Yaroslav; Wansing, Heinrich 46 2011 40 years of FDE: an introductory overview. Zbl 1417.03027 Omori, Hitoshi; Wansing, Heinrich 43 2017 Modal logics with Belnapian truth values. Zbl 1242.03050 Odintsov, Sergei P.; Wansing, Heinrich 36 2010 Constructive negation, implication, and co-implication. Zbl 1181.03027 Wansing, Heinrich 33 2008 Displaying modal logic. Zbl 0955.03006 Wansing, Heinrich 31 1998 Hyper-contradictions, generalized truth values and logics of truth and falsehood. Zbl 1159.03302 Shramko, Yaroslav; Wansing, Heinrich 28 2006 Proof theory of Nelson’s paraconsistent logic: a uniform perspective. Zbl 1382.03048 Kamide, Norihiro; Wansing, Heinrich 27 2012 Falsification, natural deduction and bi-intuitionistic logic. Zbl 1444.03009 Wansing, Heinrich 27 2016 Proof theory of N4-paraconsistent logics. Zbl 1436.03003 Kamide, Norihiro; Wansing, Heinrich 27 2015 Sequent calculi for normal modal propositional logics. Zbl 0799.03014 Wansing, Heinrich 26 1994 A general possible worlds framework for reasoning about knowledge and belief. Zbl 0744.03028 Wansing, Heinrich 23 1990 Disentangling FDE-based paraconsistent modal logics. Zbl 1417.03160 Odintsov, Sergei P.; Wansing, Heinrich 19 2017 Suszko’s thesis, inferential many-valuedness, and the notion of a logical system. Zbl 1189.03026 Wansing, Heinrich; Shramko, Yaroslav 18 2008 What is negation? Zbl 0957.00012 18 1999 An inferentially many-valued two-dimensional notion of entailment. Zbl 1423.03068 Blasio, Carolina; Marcos, João; Wansing, Heinrich 18 2017 Inconsistency-tolerant description logic: Motivation and basic systems. Zbl 1048.03021 Odintsov, Serguei P.; Wansing, Heinrich 16 2003 Proofs, disproofs, and their duals. Zbl 1254.03065 Wansing, Heinrich 16 2010 The idea of a proof-theoretic semantics and the meaning of the logical operations. Zbl 0947.03072 Wansing, Heinrich 15 2000 Informational interpretation of substructural propositional logics. Zbl 0795.03014 Wansing, Heinrich 14 1993 Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\). Zbl 1149.03023 Odintsov, S. P.; Wansing, H. 14 2008 On contra-classical variants of Nelson logic N4 and its classical extension. Zbl 1477.03095 Omori, Hitoshi; Wansing, Heinrich 14 2018 Combining linear-time temporal logic with constructiveness and paraconsistency. Zbl 1207.03022 Kamide, Norihiro; Wansing, Heinrich 13 2010 The logic of generalized truth values and the logic of bilattices. Zbl 1364.03036 Odintsov, Sergei; Wansing, Heinrich 13 2015 Negation as cancellation, connexive logic, and qLPm. Zbl 1455.03033 Wansing, Heinrich; Skurt, Daniel 13 2018 A more general general proof theory. Zbl 1436.03294 Wansing, Heinrich 12 2017 Tableaux for multi-agent deliberative-stit logic. Zbl 1148.03008 Wansing, Heinrich 11 2006 Remarks on the logic of imagination. A step towards understanding doxastic control through imagination. Zbl 1417.03104 Wansing, Heinrich 11 2017 On split negation, strong negation, information, falsification, and verification. Zbl 1439.03057 Wansing, Heinrich 11 2016 Constructive predicate logic and constructive modal logic. Formal duality versus semantical duality. Zbl 1096.03018 Odintsov, S. P.; Wansing, H. 10 2004 Diamonds are a philosopher’s best friends. The knowability paradox and modal epistemic relevance logic. Zbl 1027.03018 Wansing, Heinrich 10 2002 Hypersequent and display calculi – a unified perspective. Zbl 1344.03043 Ciabattoni, Agata; Ramanayake, Revantha; Wansing, Heinrich 10 2014 New essays on Belnap-Dunn logic. Zbl 1433.03008 9 2019 Generalized truth values. A reply to Dubois. Zbl 1209.03020 Wansing, Heinrich; Belnap, Nuel 9 2010 Displaying the modal logic of consistency. Zbl 0964.03020 Wansing, Heinrich 8 1999 Negation. Zbl 1010.03006 Wansing, Heinrich 8 2001 Sequent calculi for some trilattice logics. Zbl 1174.03008 Kamide, Norihiro; Wansing, Heinrich 8 2009 A note on negation in categorial grammar. Zbl 1134.03016 Wansing, Heinrich 8 2007 Harmonious many-valued propositional logics and the logic of computer networks. Zbl 1229.03025 Wansing, Heinrich; Shramko, Yaroslav 8 2008 Displaying as temporalizing. Sequent systems for subintuitionistic logics. Zbl 0898.03020 Wansing, Heinrich 7 1997 Semantics-based nonmonotonic inference. Zbl 0839.03012 Wansing, Heinrich 7 1995 Connectives stranger than tonk. Zbl 1107.03011 Wansing, Heinrich 7 2006 Connexive logics. An overview and current trends. Zbl 1458.03005 Omori, Hitoshi; Wansing, Heinrich 7 2019 Routley star and hyperintensionality. Zbl 07345775 Odintsov, Sergei; Wansing, Heinrich 7 2021 Bemerkungen zur Semantik nicht-normaler möglicher Welten. (Remarks on non-normal possible worlds semantics). Zbl 0685.03012 Wansing, Heinrich 6 1989 An axiomatic system and a tableau calculus for STIT imagination logic. Zbl 1436.03114 Olkhovikov, Grigory K.; Wansing, Heinrich 6 2018 The slingshot argument and sentential identity. Zbl 1178.03012 Shramko, Yaroslav; Wansing, Heinrich 6 2009 Dag Prawitz on proofs and meaning. Zbl 1304.03008 6 2015 The power of Belnap: sequent systems for \(SIXTEEN_{3 }\). Zbl 1200.03019 Wansing, Heinrich 6 2010 On the methodology of paraconsistent logic. Zbl 1429.03109 Wansing, Heinrich; Odintsov, Sergei P. 6 2016 Connexive modal logic based on positive S4. Zbl 1261.03087 Kamide, Norihiro; Wansing, Heinrich 6 2011 Predicate logics on display. Zbl 0922.03016 Wansing, Heinrich 5 1999 Obligations, authorities, and history dependence. Zbl 1005.03027 Wansing, Heinrich 5 2001 Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant. Zbl 1417.03179 Kamide, Norihiro; Shramko, Yaroslav; Wansing, Heinrich 5 2017 From BDI and stit to bdi-stit logic. Zbl 1159.03013 Semmling, Caroline; Wansing, Heinrich 5 2008 An extension of connexive logic C. Zbl 07585730 Omori, Hitoshi; Wansing, Heinrich 5 2020 Functional completeness for subsystems of intuitionistic propositional logic. Zbl 0776.03003 Wansing, Heinrich 4 1993 Symmetric and dual paraconsistent logics. Zbl 1227.03034 Kamide, Norihiro; Wansing, Heinrich 4 2010 Editorial introduction. Truth values. I. Zbl 1163.03300 Shramko, Yaroslav; Wansing, Heinrich 4 2009 Inference as doxastic agency. I: The basics of justification stit logic. Zbl 07055416 Olkhovikov, Grigory K.; Wansing, Heinrich 4 2019 Intuitionistic trilattice logics. Zbl 1205.03034 Wansing, Heinrich; Kamide, Norihiro 3 2010 A paraconsistent linear-time temporal logic. Zbl 1228.03012 Kamide, Norihiro; Wansing, Heinrich 3 2011 A reduction of doxastic logic to action logic. Zbl 0977.03016 Wansing, Heinrich 3 2000 Negation. A notion in focus. Proceedings volume of an interdisciplinary workshop held during the conference Analyomen 2 of the Gesellschaft für Analytische Philosophie (GAP), Leipzig, Germany, September 7–10, 1994. Zbl 0964.00034 3 1996 Translation of hypersequents into display sequents. Zbl 0917.03026 Wansing, Heinrich 3 1998 Editorial introduction. Truth values. II. Zbl 1177.03005 Shramko, Yaroslav; Wansing, Heinrich 3 2009 On the negation of action types: constructive concurrent PDL. Zbl 1102.03033 Wansing, Heinrich 3 2005 The logic of information structures. Zbl 0804.03019 Wansing, Heinrich Theodor 3 1992 External curries. Zbl 1329.03089 Wansing, Heinrich; Priest, Graham 3 2015 A non-inferentialist, anti-realistic conception of logical truth and falsity. Zbl 1308.03033 Wansing, Heinrich 3 2012 Connexive conditional logic. I. Zbl 1458.03017 Wansing, Heinrich; Unterhuber, Matthias 3 2019 Varieties of negation and contra-classicality in view of Dunn semantics. Zbl 07576856 Omori, Hitoshi; Wansing, Heinrich 3 2022 Entailment relations and/as truth values. Zbl 1286.03088 Shramko, Yaroslav; Wansing, Heinrich 3 2007 Reasoning about belief revision. Zbl 1253.03037 Semmling, Caroline; Wansing, Heinrich 2 2011 Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Zbl 0897.00022 2 1998 Synchronized linear-time temporal logic. Zbl 1271.03026 Wansing, Heinrich; Kamide, Norihiro 2 2011 Inference as doxastic agency. II: Ramifications and refinements. Zbl 1422.03026 Olkhovikov, Grigory K.; Wansing, Heinrich 2 2017 Negation as falsity: A reply to Tennant. Zbl 0981.03008 Wansing, Heinrich 2 1999 What is negation in a system? Negation in structured consequence relations. Zbl 0926.03033 Gabbay, Dov M.; Wansing, Heinrich 2 1996 Nested deontic modalities: Another view of parking on highways. Zbl 0964.03022 Wansing, Heinrich 2 1998 Tarskian structured consequence relations and functional completeness. Zbl 0816.03015 Wansing, Heinrich 2 1995 Logical connectives for constructive modal logic. Zbl 1111.03019 Wansing, Heinrich 2 2006 Modal tableaux based on residuation. Zbl 0898.03008 Wansing, Heinrich 2 1997 Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19–20, 1993. Zbl 0852.00019 2 1996 A proof-theoretic proof of functional completeness for many modal and tense logics. Zbl 0867.03018 Wansing, Heinrich 2 1996 Seeing to it that an agent forms a belief. Zbl 1035.03008 Wansing, Heinrich 2 2002 On definability of connectives and modal logics over FDE. Zbl 1458.03015 Odintsov, Sergei P.; Skurt, Daniel; Wansing, Heinrich 2 2019 On non-transitive “identity”. Zbl 1469.03083 Wansing, Heinrich; Skurt, Daniel 2 2019 A sound and complete axiomatic system of bdi-stit logic. Zbl 1275.03085 Semmling, Caroline; Wansing, Heinrich 2 2009 Simplified tableaux for STIT imagination logic. Zbl 1457.03034 Olkhovikov, Grigory K.; Wansing, Heinrich 2 2019 Completeness and cut-elimination theorems for trilattice logics. Zbl 1225.03024 Kamide, Norihiro; Wansing, Heinrich 1 2011 First-order logic revisited. Proceedings of the conference FOL75 – 75 years of first-order logic, Humboldt-University, Berlin, Germany, September 18–21, 2003. Zbl 1076.03004 1 2004 Strong cut-elimination for constant domain first-order S5. Zbl 0835.03022 Wansing, Heinrich 1 1995 The origins of modern modal logic. Zbl 0994.03010 Zakharyaschev, Michael; Segerberg, Krister; de Rijke, Maarten; Wansing, Heinrich 1 2001 Proofs and expressiveness in alethic modal logic. Zbl 1111.03312 de Rijke, Maarten; Wansing, Heinrich 1 2002 Logic of computer networks. Zbl 1102.03025 Wansing, H.; Shramko, Ya. V. 1 2005 Reprint of: “A more general general proof theory”. Zbl 1436.03295 Wansing, Heinrich 1 2017 Erratum to: “Suszko’s thesis, inferential many-valuedness, and the notion of a logical system”. Zbl 1140.03309 Wansing, Heinrich; Shramko, Yaroslav 1 2008 Stit-logic for imagination episodes with voluntary input. Zbl 07740299 Badura, Christopher; Wansing, Heinrich 1 2023 On Synonymy in proof-theoretic semantics: the case of \(\mathtt{2Int}\). Zbl 07811413 Ayhan, Sara; Wansing, Heinrich 1 2023 Varieties of negation and contra-classicality in view of Dunn semantics. Zbl 07576856 Omori, Hitoshi; Wansing, Heinrich 3 2022 Moisil’s modal logic and related systems. Zbl 07576848 Drobyshevich, Sergey; Odintsov, Sergei; Wansing, Heinrich 1 2022 Routley star and hyperintensionality. Zbl 07345775 Odintsov, Sergei; Wansing, Heinrich 7 2021 The nature of entailment: an informational approach. Zbl 1525.03082 Shramko, Yaroslav; Wansing, Heinrich 1 2021 An extension of connexive logic C. Zbl 07585730 Omori, Hitoshi; Wansing, Heinrich 5 2020 Proof systems for various FDE-based modal logics. Zbl 1479.03013 Drobyshevich, Sergey; Wansing, Heinrich 1 2020 New essays on Belnap-Dunn logic. Zbl 1433.03008 9 2019 Connexive logics. An overview and current trends. Zbl 1458.03005 Omori, Hitoshi; Wansing, Heinrich 7 2019 Inference as doxastic agency. I: The basics of justification stit logic. Zbl 07055416 Olkhovikov, Grigory K.; Wansing, Heinrich 4 2019 Connexive conditional logic. I. Zbl 1458.03017 Wansing, Heinrich; Unterhuber, Matthias 3 2019 On definability of connectives and modal logics over FDE. Zbl 1458.03015 Odintsov, Sergei P.; Skurt, Daniel; Wansing, Heinrich 2 2019 On non-transitive “identity”. Zbl 1469.03083 Wansing, Heinrich; Skurt, Daniel 2 2019 Simplified tableaux for STIT imagination logic. Zbl 1457.03034 Olkhovikov, Grigory K.; Wansing, Heinrich 2 2019 On contra-classical variants of Nelson logic N4 and its classical extension. Zbl 1477.03095 Omori, Hitoshi; Wansing, Heinrich 14 2018 Negation as cancellation, connexive logic, and qLPm. Zbl 1455.03033 Wansing, Heinrich; Skurt, Daniel 13 2018 An axiomatic system and a tableau calculus for STIT imagination logic. Zbl 1436.03114 Olkhovikov, Grigory K.; Wansing, Heinrich 6 2018 40 years of FDE: an introductory overview. Zbl 1417.03027 Omori, Hitoshi; Wansing, Heinrich 43 2017 Disentangling FDE-based paraconsistent modal logics. Zbl 1417.03160 Odintsov, Sergei P.; Wansing, Heinrich 19 2017 An inferentially many-valued two-dimensional notion of entailment. Zbl 1423.03068 Blasio, Carolina; Marcos, João; Wansing, Heinrich 18 2017 A more general general proof theory. Zbl 1436.03294 Wansing, Heinrich 12 2017 Remarks on the logic of imagination. A step towards understanding doxastic control through imagination. Zbl 1417.03104 Wansing, Heinrich 11 2017 Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant. Zbl 1417.03179 Kamide, Norihiro; Shramko, Yaroslav; Wansing, Heinrich 5 2017 Inference as doxastic agency. II: Ramifications and refinements. Zbl 1422.03026 Olkhovikov, Grigory K.; Wansing, Heinrich 2 2017 Reprint of: “A more general general proof theory”. Zbl 1436.03295 Wansing, Heinrich 1 2017 Falsification, natural deduction and bi-intuitionistic logic. Zbl 1444.03009 Wansing, Heinrich 27 2016 On split negation, strong negation, information, falsification, and verification. Zbl 1439.03057 Wansing, Heinrich 11 2016 On the methodology of paraconsistent logic. Zbl 1429.03109 Wansing, Heinrich; Odintsov, Sergei P. 6 2016 Proof theory of N4-paraconsistent logics. Zbl 1436.03003 Kamide, Norihiro; Wansing, Heinrich 27 2015 The logic of generalized truth values and the logic of bilattices. Zbl 1364.03036 Odintsov, Sergei; Wansing, Heinrich 13 2015 Dag Prawitz on proofs and meaning. Zbl 1304.03008 6 2015 External curries. Zbl 1329.03089 Wansing, Heinrich; Priest, Graham 3 2015 Prawitz, proofs, and meaning. Zbl 1429.03197 Wansing, Heinrich 1 2015 Hypersequent and display calculi – a unified perspective. Zbl 1344.03043 Ciabattoni, Agata; Ramanayake, Revantha; Wansing, Heinrich 10 2014 Recent trends in philosophical logic. Selected contributions from the conference ‘Trends in logic XI’, Bochum, Germany, June 3–5, 2012. Zbl 1290.03003 1 2014 Proof theory of Nelson’s paraconsistent logic: a uniform perspective. Zbl 1382.03048 Kamide, Norihiro; Wansing, Heinrich 27 2012 A non-inferentialist, anti-realistic conception of logical truth and falsity. Zbl 1308.03033 Wansing, Heinrich 3 2012 Truth and falsehood. An inquiry into generalized logical values. Zbl 1251.03002 Shramko, Yaroslav; Wansing, Heinrich 46 2011 Connexive modal logic based on positive S4. Zbl 1261.03087 Kamide, Norihiro; Wansing, Heinrich 6 2011 A paraconsistent linear-time temporal logic. Zbl 1228.03012 Kamide, Norihiro; Wansing, Heinrich 3 2011 Reasoning about belief revision. Zbl 1253.03037 Semmling, Caroline; Wansing, Heinrich 2 2011 Synchronized linear-time temporal logic. Zbl 1271.03026 Wansing, Heinrich; Kamide, Norihiro 2 2011 Completeness and cut-elimination theorems for trilattice logics. Zbl 1225.03024 Kamide, Norihiro; Wansing, Heinrich 1 2011 Modal logics with Belnapian truth values. Zbl 1242.03050 Odintsov, Sergei P.; Wansing, Heinrich 36 2010 Proofs, disproofs, and their duals. Zbl 1254.03065 Wansing, Heinrich 16 2010 Combining linear-time temporal logic with constructiveness and paraconsistency. Zbl 1207.03022 Kamide, Norihiro; Wansing, Heinrich 13 2010 Generalized truth values. A reply to Dubois. Zbl 1209.03020 Wansing, Heinrich; Belnap, Nuel 9 2010 The power of Belnap: sequent systems for \(SIXTEEN_{3 }\). Zbl 1200.03019 Wansing, Heinrich 6 2010 Symmetric and dual paraconsistent logics. Zbl 1227.03034 Kamide, Norihiro; Wansing, Heinrich 4 2010 Intuitionistic trilattice logics. Zbl 1205.03034 Wansing, Heinrich; Kamide, Norihiro 3 2010 Sequent calculi for some trilattice logics. Zbl 1174.03008 Kamide, Norihiro; Wansing, Heinrich 8 2009 The slingshot argument and sentential identity. Zbl 1178.03012 Shramko, Yaroslav; Wansing, Heinrich 6 2009 Editorial introduction. Truth values. I. Zbl 1163.03300 Shramko, Yaroslav; Wansing, Heinrich 4 2009 Editorial introduction. Truth values. II. Zbl 1177.03005 Shramko, Yaroslav; Wansing, Heinrich 3 2009 A sound and complete axiomatic system of bdi-stit logic. Zbl 1275.03085 Semmling, Caroline; Wansing, Heinrich 2 2009 Constructive negation, implication, and co-implication. Zbl 1181.03027 Wansing, Heinrich 33 2008 Suszko’s thesis, inferential many-valuedness, and the notion of a logical system. Zbl 1189.03026 Wansing, Heinrich; Shramko, Yaroslav 18 2008 Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\). Zbl 1149.03023 Odintsov, S. P.; Wansing, H. 14 2008 Harmonious many-valued propositional logics and the logic of computer networks. Zbl 1229.03025 Wansing, Heinrich; Shramko, Yaroslav 8 2008 From BDI and stit to bdi-stit logic. Zbl 1159.03013 Semmling, Caroline; Wansing, Heinrich 5 2008 Erratum to: “Suszko’s thesis, inferential many-valuedness, and the notion of a logical system”. Zbl 1140.03309 Wansing, Heinrich; Shramko, Yaroslav 1 2008 Logics in artificial intelligence. 11th European conference, JELIA 2008, Dresden, Germany, September 28–October 1, 2008. Proceedings. Zbl 1146.68009 1 2008 A note on negation in categorial grammar. Zbl 1134.03016 Wansing, Heinrich 8 2007 Entailment relations and/as truth values. Zbl 1286.03088 Shramko, Yaroslav; Wansing, Heinrich 3 2007 Hyper-contradictions, generalized truth values and logics of truth and falsehood. Zbl 1159.03302 Shramko, Yaroslav; Wansing, Heinrich 28 2006 Tableaux for multi-agent deliberative-stit logic. Zbl 1148.03008 Wansing, Heinrich 11 2006 Connectives stranger than tonk. Zbl 1107.03011 Wansing, Heinrich 7 2006 Logical connectives for constructive modal logic. Zbl 1111.03019 Wansing, Heinrich 2 2006 Connexive modal logic. Zbl 1107.03017 Wansing, Heinrich 67 2005 Some useful 16-valued logics: How a computer network should think. Zbl 1094.03012 Shramko, Yaroslav; Wansing, Heinrich 50 2005 On the negation of action types: constructive concurrent PDL. Zbl 1102.03033 Wansing, Heinrich 3 2005 Logic of computer networks. Zbl 1102.03025 Wansing, H.; Shramko, Ya. V. 1 2005 Constructive predicate logic and constructive modal logic. Formal duality versus semantical duality. Zbl 1096.03018 Odintsov, S. P.; Wansing, H. 10 2004 First-order logic revisited. Proceedings of the conference FOL75 – 75 years of first-order logic, Humboldt-University, Berlin, Germany, September 18–21, 2003. Zbl 1076.03004 1 2004 Inconsistency-tolerant description logic: Motivation and basic systems. Zbl 1048.03021 Odintsov, Serguei P.; Wansing, Heinrich 16 2003 Diamonds are a philosopher’s best friends. The knowability paradox and modal epistemic relevance logic. Zbl 1027.03018 Wansing, Heinrich 10 2002 Seeing to it that an agent forms a belief. Zbl 1035.03008 Wansing, Heinrich 2 2002 Proofs and expressiveness in alethic modal logic. Zbl 1111.03312 de Rijke, Maarten; Wansing, Heinrich 1 2002 Negation. Zbl 1010.03006 Wansing, Heinrich 8 2001 Obligations, authorities, and history dependence. Zbl 1005.03027 Wansing, Heinrich 5 2001 The origins of modern modal logic. Zbl 0994.03010 Zakharyaschev, Michael; Segerberg, Krister; de Rijke, Maarten; Wansing, Heinrich 1 2001 The idea of a proof-theoretic semantics and the meaning of the logical operations. Zbl 0947.03072 Wansing, Heinrich 15 2000 A reduction of doxastic logic to action logic. Zbl 0977.03016 Wansing, Heinrich 3 2000 What is negation? Zbl 0957.00012 18 1999 Displaying the modal logic of consistency. Zbl 0964.03020 Wansing, Heinrich 8 1999 Predicate logics on display. Zbl 0922.03016 Wansing, Heinrich 5 1999 Negation as falsity: A reply to Tennant. Zbl 0981.03008 Wansing, Heinrich 2 1999 Displaying modal logic. Zbl 0955.03006 Wansing, Heinrich 31 1998 Translation of hypersequents into display sequents. Zbl 0917.03026 Wansing, Heinrich 3 1998 Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Zbl 0897.00022 2 1998 Nested deontic modalities: Another view of parking on highways. Zbl 0964.03022 Wansing, Heinrich 2 1998 Displaying as temporalizing. Sequent systems for subintuitionistic logics. Zbl 0898.03020 Wansing, Heinrich 7 1997 Modal tableaux based on residuation. Zbl 0898.03008 Wansing, Heinrich 2 1997 Negation. A notion in focus. Proceedings volume of an interdisciplinary workshop held during the conference Analyomen 2 of the Gesellschaft für Analytische Philosophie (GAP), Leipzig, Germany, September 7–10, 1994. Zbl 0964.00034 3 1996 What is negation in a system? Negation in structured consequence relations. Zbl 0926.03033 Gabbay, Dov M.; Wansing, Heinrich 2 1996 Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19–20, 1993. Zbl 0852.00019 2 1996 A proof-theoretic proof of functional completeness for many modal and tense logics. Zbl 0867.03018 Wansing, Heinrich 2 1996 Semantics-based nonmonotonic inference. Zbl 0839.03012 Wansing, Heinrich 7 1995 Tarskian structured consequence relations and functional completeness. Zbl 0816.03015 Wansing, Heinrich 2 1995 ...and 8 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 403 Authors 51 Wansing, Heinrich Theodor 44 Kamide, Norihiro 15 Shramko, Yaroslav V. 13 Odintsov, Sergei P. 12 Omori, Hitoshi 10 Francez, Nissim 8 Drobyshevich, Sergeĭ Andreevich 8 Estrada-González, Luis 8 Pailos, Federico Matias 8 Petrukhin, Yaroslav Igorevich 8 Poggiolesi, Francesca 7 Ripley, David 7 Rivieccio, Umberto 6 Berto, Francesco 6 Broersen, Jan M. 6 Ferguson, Thomas Macaulay 6 Kozhemiachenko, Daniil 6 Marcos, João 6 Negri, Sara 6 Robles, Gemma 6 Szmuc, Damian Enrique 5 Égré, Paul 5 Frittella, Sabine 5 Greco, Giuseppe 5 Indrzejczak, Andrzej 5 Olkhovikov, Grigory K. 5 Palmigiano, Alessandra 5 Rodrigues, Abilio 5 Zaitsev, Dmitry V. 4 Arieli, Ofer 4 Avron, Arnon 4 Ayhan, Sara 4 Barrio, Eduardo Alejandro 4 Bílková, Marta 4 Braüner, Torben 4 Carnielli, Walter Alexandre 4 Grigor’ev, Oleg Mikhaĭlovich 4 Ma, Minghui 4 Skurt, Daniel 4 Tranchini, Luca 4 Zamansky, Anna 3 Beall, Jc 3 Buszkowski, Wojciech 3 Caleiro, Carlos 3 Costa, Diana 3 Devyatkin, Leonid Yur’evich 3 Fernández Duque, David 3 Halpern, Joseph Yehuda 3 Hazen, Allen P. 3 Kaminski, Michael 3 Klonowski, Mateusz 3 Kuznets, Roman 3 López, Sandra M. 3 Martins, Manuel António 3 Masini, Andrea 3 Méndez, José M. 3 Niki, Satoru 3 Paoli, Francesco 3 Pelletier, Francis Jeffry 3 Priest, Graham 3 Pulcini, Gabriele 3 Punčochář, Vít 3 Ramírez-Cámara, Elisángela 3 Sedlár, Igor 3 Speranski, Stanislav O. 3 Standefer, Shawn 3 Turunen, Esko 3 van Ditmarsch, Hans Pieter 3 Venema, Yde 3 Więckowski, Bartosz 2 Antunes, Henrique 2 Artemov, Sergei 2 Badia, Guillermo 2 Belikov, Aleksander Aleksandrovich 2 Blanco, José Miguel 2 Blasio, Carolina 2 Boudou, Joseph 2 Cabrer, Leonardo Manuel 2 Carrara, Massimiliano 2 Celani, Sergio Arturo 2 Chemla, Emmanuel 2 Ciabattoni, Agata 2 Coniglio, Marcelo Esteban 2 Da Ré, Bruno 2 De, Michael 2 Diéguez, Martín 2 Douven, Igor 2 Dubois, Didier 2 Dyckhoff, Roy 2 Fagin, Ronald 2 Fitting, Melvin Chris 2 French, Rohan 2 Gabbay, Dov M. 2 Giordani, Alessandro 2 Girard, Patrick R. 2 Gratzl, Norbert 2 Greati, Vitor 2 Humberstone, Lloyd 2 Jansana, Ramon 2 Kaneiwa, Ken ...and 303 more Authors all top 5 Cited in 53 Serials 84 Studia Logica 54 Journal of Philosophical Logic 32 Synthese 27 Logic and Logical Philosophy 24 The Review of Symbolic Logic 21 Logica Universalis 20 Journal of Logic, Language and Information 18 Journal of Applied Non-Classical Logics 14 Bulletin of the Section of Logic 12 Notre Dame Journal of Formal Logic 12 Journal of Applied Logic 10 Annals of Pure and Applied Logic 8 Mathematical Logic Quarterly (MLQ) 8 Logicheskie Issledovaniya 5 Artificial Intelligence 5 The Journal of Symbolic Logic 5 Theoretical Computer Science 5 Journal of Automated Reasoning 5 International Journal of Approximate Reasoning 4 Fuzzy Sets and Systems 4 History and Philosophy of Logic 4 Archive for Mathematical Logic 4 Erkenntnis 4 Journal of Logical and Algebraic Methods in Programming 3 Algebra and Logic 3 Algebra Universalis 3 Topoi 3 ACM Transactions on Computational Logic 2 New Generation Computing 2 The Bulletin of Symbolic Logic 2 Theory and Practice of Logic Programming 2 Journal of Multiple-Valued Logic and Soft Computing 1 International Journal of Theoretical Physics 1 Lithuanian Mathematical Journal 1 Russian Mathematical Surveys 1 Information Sciences 1 Journal of Economic Theory 1 Journal of Pure and Applied Algebra 1 Transactions of the American Mathematical Society 1 Mathematical Social Sciences 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Annals of Mathematics and Artificial Intelligence 1 Theory of Computing Systems 1 Soft Computing 1 Foundations of Science 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 Journal of Intelligent and Fuzzy Systems 1 Logical Methods in Computer Science 1 Games 1 European Journal of Mathematics 1 Lietuvos Matematikos Rinkinys. Proceedings of the Lithuanian Mathematical Society. Series A 1 Chelyabinskiĭ Fiziko-Matematicheskiĭ Zhurnal all top 5 Cited in 13 Fields 483 Mathematical logic and foundations (03-XX) 68 Computer science (68-XX) 16 Order, lattices, ordered algebraic structures (06-XX) 13 History and biography (01-XX) 8 General and overarching topics; collections (00-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 General algebraic systems (08-XX) 2 Combinatorics (05-XX) 2 Category theory; homological algebra (18-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Probability theory and stochastic processes (60-XX) 1 Quantum theory (81-XX) 1 Biology and other natural sciences (92-XX) Citations by Year