Följ
Heinrich Wansing
Titel
Citeras av
Citeras av
År
The logic of information structures
H Wansing
Springer 681, 163, 1993
3071993
Connexive logic
H Wansing
The Stanford Encyclopedia of Philosophy, URL = <https://plato.stanford.edu …, 2006
2332006
Displaying modal logic
H Wansing
Kluwer Academic Publishers, 1998
225*1998
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
1761994
Sequent systems for modal logics
H Wansing
Handbook of philosophical logic 8, 61-145, 2002
1652002
Connexive modal logic
H Wansing
Advances in Modal Logic Vol. 5 ,, 367-383, 2005
1622005
Some useful 16-valued logics: How a computer network should think
Y Shramko, H Wansing
Journal of Philosophical Logic 34, 121-153, 2005
1572005
Truth and Falsehood: An Inquiry Into Generalized Logical Values
Y Shramko, H Wansing
Springer Verlag, 2011
1542011
40 years of FDE: an introductory overview
H Omori, H Wansing
Studia Logica 105 (6), 1021-1049, 2017
1412017
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
1182008
Modal logics with Belnapian truth values
SP Odintsov, H Wansing
Journal of Applied Non-Classical Logics 20 (3), 279-301, 2010
1152010
Advances in Modal Logic, Volume 2
M Zakharyaschev, K Segerberg, M de Rijke, H Wansing
100*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
902017
Falsification, natural deduction and bi-intuitionistic logic
H Wansing
Journal of Logic and Computation 26 (1), 425-450, 2016
902016
The idea of a proof-theoretic semantics and the meaning of the logical operations
H Wansing
Studia Logica 64, 3-20, 2000
902000
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
732012
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20