×

Wansing, Heinrich Theodor

Author ID: wansing.heinrich-theodor Recent zbMATH articles by "Wansing, Heinrich Theodor"
Published as: Wansing, Heinrich; Wansing, H.; Wansing, Heinrich Theodor
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

Publications by Year

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 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

Citations by Year