Follow
Heinrich Wansing
Title
Cited by
Cited by
Year
The logic of information structures
H Wansing
Springer 681, 163, 1993
3061993
Displaying modal logic
H Wansing
Kluwer Academic Publishers, 1998
219*1998
Connexive logic
H Wansing
The Stanford Encyclopedia of Philosophy, URL = <https://plato.stanford.edu …, 2006
2152006
Negation
LR Horn, H Wansing
1872015
Sequent calculi for normal modal propositional logics
H Wansing
Journal of Logic and Computation 4 (2), 125-142, 1994
1771994
Sequent systems for modal logics
H Wansing
Handbook of philosophical logic 8, 61-145, 2002
1632002
Some useful 16-valued logics: How a computer network should think
Y Shramko, H Wansing
Journal of Philosophical Logic 34, 121-153, 2005
1542005
Truth and Falsehood: An Inquiry Into Generalized Logical Values
Y Shramko, H Wansing
Springer Verlag, 2011
1522011
Connexive modal logic
H Wansing
Advances in Modal Logic Vol. 5 ,, 367-383, 2005
1472005
40 years of FDE: an introductory overview
H Omori, H Wansing
Studia Logica 105 (6), 1021-1049, 2017
1342017
A general possible worlds framework for reasoning about knowledge and belief
H Wansing
Studia logica 49, 523-539, 1990
1261990
Constructive negation, implication, and co-implication
H Wansing
Journal of Applied Non-Classical Logics 18 (2-3), 341-364, 2008
1162008
Modal logics with Belnapian truth values
SP Odintsov, H Wansing
Journal of Applied Non-Classical Logics 20 (3), 279-301, 2010
1112010
Advances in Modal Logic, Volume 2
M Zakharyaschev, K Segerberg, M de Rijke, H Wansing
99*2001
What is Negation?
DM Gabbay, H Wansing
Kluwer Academic Publishers, 1999
961999
Negation
H Wansing
The Blackwell guide to philosophical logic, 415-436, 2017
892017
The idea of a proof-theoretic semantics and the meaning of the logical operations
H Wansing
Studia Logica 64, 3-20, 2000
892000
Falsification, natural deduction and bi-intuitionistic logic
H Wansing
Journal of Logic and Computation 26 (1), 425-450, 2016
882016
Diamonds are a philosopher's best friends
H Wansing
Journal of Philosophical Logic 31, 591-612, 2002
772002
Proof theory of Nelson’s paraconsistent logic: A uniform perspective
N Kamide, H Wansing
Theoretical Computer Science 415, 1-38, 2012
712012
The system can't perform the operation now. Try again later.
Articles 1–20