The logic of information structures H Wansing Springer 681, 163, 1993 | 299 | 1993 |
Displaying modal logic H Wansing Kluwer Academic Publishers, 1998 | 217* | 1998 |
Connexive logic H Wansing The Stanford Encyclopedia of Philosophy, URL = <https://plato.stanford.edu …, 2006 | 205 | 2006 |
Negation LR Horn, H Wansing | 180 | 2015 |
Sequent calculi for normal modal propositional logics H Wansing Journal of Logic and Computation 4 (2), 125-142, 1994 | 176 | 1994 |
Sequent systems for modal logics H Wansing Handbook of philosophical logic 8, 61-145, 2002 | 160 | 2002 |
Some useful 16-valued logics: How a computer network should think Y Shramko, H Wansing Journal of Philosophical Logic 34, 121-153, 2005 | 151 | 2005 |
Truth and Falsehood: An Inquiry Into Generalized Logical Values Y Shramko, H Wansing Springer Verlag, 2011 | 149 | 2011 |
Connexive modal logic H Wansing Advances in Modal Logic Vol. 5 ,, 367-383, 2005 | 135 | 2005 |
40 years of FDE: an introductory overview H Omori, H Wansing Studia Logica 105 (6), 1021-1049, 2017 | 128 | 2017 |
A general possible worlds framework for reasoning about knowledge and belief H Wansing Studia logica 49, 523-539, 1990 | 125 | 1990 |
Constructive negation, implication, and co-implication H Wansing Journal of Applied Non-Classical Logics 18 (2-3), 341-364, 2008 | 114 | 2008 |
Modal logics with Belnapian truth values SP Odintsov, H Wansing Journal of Applied Non-Classical Logics 20 (3), 279-301, 2010 | 109 | 2010 |
Advances in Modal Logic, Volume 2 M Zakharyaschev, K Segerberg, M de Rijke, H Wansing | 98* | 2001 |
What is Negation? DM Gabbay, H Wansing Kluwer Academic Publishers, 1999 | 95 | 1999 |
Negation H Wansing The Blackwell guide to philosophical logic, 415-436, 2017 | 88 | 2017 |
Falsification, natural deduction and bi-intuitionistic logic H Wansing Journal of Logic and Computation 26 (1), 425-450, 2016 | 84 | 2016 |
The idea of a proof-theoretic semantics and the meaning of the logical operations H Wansing Studia Logica 64, 3-20, 2000 | 82 | 2000 |
Diamonds are a philosopher's best friends H Wansing Journal of Philosophical Logic 31, 591-612, 2002 | 76 | 2002 |
Proof theory of Nelson’s paraconsistent logic: A uniform perspective N Kamide, H Wansing Theoretical Computer Science 415, 1-38, 2012 | 68 | 2012 |