Follow
Heinrich Wansing
Title
Cited by
Cited by
Year
The logic of information structures
H Wansing
Springer 681, 163, 1993
2961993
Displaying modal logic
H Wansing
Kluwer Academic Publishers, 1998
212*1998
Connexive logic
H Wansing
The Stanford Encyclopedia of Philosophy, URL = <https://plato.stanford.edu …, 2006
1952006
Negation
LR Horn, H Wansing
1712015
Sequent calculi for normal modal propositional logics
H Wansing
Journal of Logic and Computation 4 (2), 125-142, 1994
1681994
Sequent systems for modal logics
H Wansing
Handbook of philosophical logic 8, 61-145, 2002
1552002
Truth and Falsehood: An Inquiry Into Generalized Logical Values
Y Shramko, H Wansing
Springer Verlag, 2011
1472011
Some useful 16-valued logics: How a computer network should think
Y Shramko, H Wansing
Journal of Philosophical Logic 34, 121-153, 2005
1462005
Connexive modal logic
H Wansing
Advances in Modal Logic Vol. 5 ,, 367-383, 2005
1252005
A general possible worlds framework for reasoning about knowledge and belief
H Wansing
Studia logica 49, 523-539, 1990
1231990
40 years of FDE: an introductory overview
H Omori, H Wansing
Studia Logica 105 (6), 1021-1049, 2017
1202017
Constructive negation, implication, and co-implication
H Wansing
Journal of Applied Non-Classical Logics 18 (2-3), 341-364, 2008
1082008
Modal logics with Belnapian truth values
SP Odintsov, H Wansing
Journal of Applied Non-Classical Logics 20 (3), 279-301, 2010
1062010
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
941999
Negation
H Wansing
The Blackwell guide to philosophical logic, 415-436, 2017
852017
Falsification, natural deduction and bi-intuitionistic logic
H Wansing
Journal of Logic and Computation 26 (1), 425-450, 2016
792016
The idea of a proof-theoretic semantics and the meaning of the logical operations
H Wansing
Studia Logica 64, 3-20, 2000
762000
Diamonds are a philosopher's best friends
H Wansing
Journal of Philosophical Logic 31, 591-612, 2002
732002
Proof theory of Nelson’s paraconsistent logic: A uniform perspective
N Kamide, H Wansing
Theoretical Computer Science 415, 1-38, 2012
662012
The system can't perform the operation now. Try again later.
Articles 1–20