Volgen
Heinrich Wansing
Titel
Geciteerd door
Geciteerd door
Jaar
The logic of information structures
H Wansing
Springer 681, 163, 1993
2751993
Displaying modal logic
H Wansing
Kluwer Academic Publishers, 1998
196*1998
Sequent calculi for normal modal propositional logics
H Wansing
Journal of Logic and Computation 4 (2), 125-142, 1994
1601994
Connexive logic
H Wansing
The Stanford Encyclopedia of Philosophy, URL = <https://plato.stanford.edu …, 2006
1562006
Sequent systems for modal logics
H Wansing
Handbook of philosophical logic 8, 61-145, 2002
1432002
Some useful 16-valued logics: how a computer network should think
Y Shramko, H Wansing
Journal of Philosophical Logic 34 (2), 121-153, 2005
1332005
Truth and Falsehood: An Inquiry Into Generalized Logical Values
Y Shramko, H Wansing
Springer Verlag, 2011
1312011
Negation
LR Horn, H Wansing
1222015
A general possible worlds framework for reasoning about knowledge and belief
H Wansing
Studia Logica 49 (4), 523-539, 1990
1091990
What is Negation?
DM Gabbay, H Wansing
Kluwer Academic Publishers, 1999
104*1999
Advances in Modal Logic, Volume 2
M Zakharyaschev, K Segerberg, M de Rijke, H Wansing
95*2001
Constructive negation, implication, and co-implication
H Wansing
Journal of Applied Non-Classical Logics 18 (2-3), 341-364, 2008
912008
Connexive modal logic
H Wansing
Advances in Modal Logic Vol. 5 ,, 367-383, 2005
892005
Modal logics with Belnapian truth values
SP Odintsov, H Wansing
Journal of Applied Non-Classical Logics 20 (3), 279-301, 2010
852010
40 years of FDE: an introductory overview
H Omori, H Wansing
Studia Logica 105 (6), 1021-1049, 2017
792017
Negation
H Wansing
The Blackwell guide to philosophical logic, 415-436, 2017
762017
Diamonds are a Philosopher's Best Friends
H Wansing
Journal of Philosophical Logic 31 (6), 591-612, 2002
732002
The idea of a proof-theoretic semantics and the meaning of the logical operations
H Wansing
Studia Logica 64 (1), 3-20, 2000
632000
Falsification, natural deduction and bi-intuitionistic logic
H Wansing
Journal of Logic and Computation 26 (1), 425-450, 2016
612016
Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALCC
SP Odintsov, H Wansing
Journal of Applied Logic 6 (3), 343-360, 2008
552008
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20