Heinrich Wansing
Título
Citado por
Citado por
Ano
The logic of information structures
H Wansing
Springer 681, 163, 1993
2561993
Displaying modal logic
H Wansing
Kluwer Academic Publishers, 1998
187*1998
Sequent calculi for normal modal propositional logics
H Wansing
Journal of Logic and Computation 4 (2), 125-142, 1994
1501994
Sequent systems for modal logics
H Wansing
Handbook of philosophical logic 8, 61-145, 2002
1232002
Connexive logic
H Wansing
The Stanford Encyclopedia of Philosophy, URL = <https://plato.stanford.edu …, 2006
1142006
Truth and Falsehood: An Inquiry Into Generalized Logical Values
Y Shramko, H Wansing
Springer Verlag, 2011
1132011
Some useful 16-valued logics: how a computer network should think
Y Shramko, H Wansing
Journal of Philosophical Logic 34 (2), 121-153, 2005
1132005
A general possible worlds framework for reasoning about knowledge and belief
H Wansing
Studia Logica 49 (4), 523-539, 1990
1011990
Advances in Modal Logic, Volume 2
M Zakharyaschev, K Segerberg, M de Rijke, H Wansing
88*2001
What is Negation?
DM Gabbay, H Wansing
Kluwer Academic Publishers, 1999
84*1999
Negation
LR Horn, H Wansing
782015
Constructive negation, implication, and co-implication
H Wansing
Journal of Applied Non-Classical Logics 18 (2-3), 341-364, 2008
722008
Negation
H Wansing
The Blackwell guide to philosophical logic, 415-436, 2017
682017
Modal logics with Belnapian truth values
SP Odintsov, H Wansing
Journal of Applied Non-Classical Logics 20 (3), 279-301, 2010
662010
Connexive modal logic
H Wansing
Advances in Modal Logic Vol. 5 ,, 367-383, 2005
662005
Diamonds are a Philosopher's Best Friends
H Wansing
Journal of Philosophical Logic 31 (6), 591-612, 2002
652002
Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALCC
SP Odintsov, H Wansing
Journal of Applied Logic 6 (3), 343-360, 2008
502008
Inconsistency-tolerant description logic: Motivation and basic systems
SP Odintsov, H Wansing
Trends in Logic 21, 301-335, 2003
502003
The idea of a proof-theoretic semantics and the meaning of the logical operations
H Wansing
Studia Logica 64 (1), 3-20, 2000
482000
Formulas-as-types for a hierarchy of sublogics of intuitionistic propositional logic
H Wansing
Nonclassical Logics and Information Processing, 125-145, 1992
471992
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20