Heinrich Theodor Wansing (wansing)
My contributions to Philosophie.ch
No contributions yet
Bibliography
Bauer, Sebastian and Wansing, Heinrich Theodor. 2002. “Consequence, Counterparts and
Substitution.” The Monist 85(4): 483–497.
Ciuni, Roberto, Wansing, Heinrich Theodor and Willkommen, Caroline, eds. 2014. Recent Trends in Philosophical Logic. Trends in Logic n. 41. New York: Springer.
Gabbay, Dov M. and Wansing, Heinrich Theodor. 1996. “What is Negation in a System? Negation in Structured
Consequence Relations.” in Logic,
Action, and Information: Essays on Logic in Philosophy and Artificial
Intelligence, edited by André Fuhrmann and Hans Rott, pp. 328–350. Berlin: de Gruyter.
Gabbay, Dov M. and Wansing, Heinrich Theodor, eds. 1999. What is Negation? Applied Logic
Series n. 13. Dordrecht: Kluwer Academic Publishers.
Hendricks, Vincent F., Neuhaus, Fabian, Pedersen, Stig Andur, Scheffler, Uwe and Wansing, Heinrich Theodor, eds. 2004.
First-Order Logic Revisited. Logische
Philosophie n. 12. Berlin: Logos Verlag.
Horn, Laurence R. and Wansing, Heinrich Theodor. 2015.
“Negation.” in The
Stanford Encyclopedia of Philosophy. Stanford, California:
The Metaphysics Research Lab, Center for the Study of Language;
Information, https://plato.stanford.edu/archives/spr2015/entries/negation/.
Horn, Laurence R. and Wansing, Heinrich Theodor. 2020.
“Negation.” in The
Stanford Encyclopedia of Philosophy. Stanford, California:
The Metaphysics Research Lab, Center for the Study of Language;
Information, https://plato.stanford.edu/archives/spr2020/entries/negation/.
Kracht, Marcus, de Rijke,
Maarten and Wansing, Heinrich Theodor,
eds. 1998. Advances in Modal Logic.
vol. I. Stanford, California: CSLI Publications.
Laux, Armin and Wansing, Heinrich Theodor, eds. 1995. Knowledge and Belief in Philosophy and Artificial
Intelligence. Berlin: Akademie Verlag.
Lepage, François, Thijsse, Elias C. C. and Wansing, Heinrich Theodor. 2000. “Introduction (to Special Issue on Partiality and
Modality).” Studia Logica: An International Journal
for Symbolic Logic 66(1): 1–4.
Makinson, David C., Malinowski, Jacek and Wansing, Heinrich Theodor, eds. 2009a.
Towards Mathematical Philosophy. Papers from
the Studia Logica Conference Trends in Logic IV.
Trends in Logic n. 28. Dordrecht: Springer,
doi:10.1007/978-1-4020-9084-4.
Makinson, David C., Malinowski, Jacek and Wansing, Heinrich Theodor. 2009b. “From Logic to Mathematical Philosophy.” in
Towards Mathematical Philosophy. Papers from
the Studia Logica Conference Trends in Logic IV,
edited by David C. Makinson, Jacek Malinowski, and Heinrich Theodor Wansing, pp. 1–8. Trends
in Logic n. 28. Dordrecht: Springer, doi:10.1007/978-1-4020-9084-4.
Odintsov, Sergey Pavlovich and Wansing, Heinrich Theodor. 2003. “Inconsistency-Tolerant Description Logic: Motivation and
Basic System.” in Trends in
Logic: 50 Years of Studia Logica, edited by Vincent F. Hendricks and Jacek Malinowski, pp. 301–335. Dordrecht: Kluwer
Academic Publishers.
Odintsov, Sergey Pavlovich and Wansing, Heinrich Theodor. 2004. “Constructive Predicate Logic and Constructive Modal
Logic. Formal Duality versus Semantical Duality.” in
First-Order Logic Revisited, edited by Vincent F.
Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler, and Heinrich Theodor Wansing, pp. 269–286. Logische
Philosophie n. 12. Berlin: Logos Verlag.
Rami, Adolf and Wansing, Heinrich Theodor, eds. 2007.
Referenz und Realität. Paderborn:
Mentis Verlag.
de Rijke,
Maarten and Wansing, Heinrich Theodor.
2002. “Proofs and Expressiveness in Alethic
Modal Logic.” in A Companion to
Philosophical Logic, edited by Dale Jacquette, pp. 422–441. Blackwell Companions to Philosophy. Oxford:
Blackwell Publishers, doi:10.1002/9780470996751.
Schmidt, Renate A., Pratt-Hartmann, Ian, Reynolds, Mark A. and Wansing, Heinrich Theodor, eds. 2005. Advances in Modal Logic. vol. V. London:
King’s College Publications.
Semmling, Caroline and Wansing, Heinrich Theodor. 2009. “A Sound and Complete Axiomatic System of bdi-stit
Logic.” in The Logica Yearbook 2008,
edited by Michal Peliš, pp. 193–210.
London: College Publications.
Shramko, Yaroslav V. and Wansing, Heinrich Theodor. 2010.
“Truth Values.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/sum2010/entries/truth-values/.
Shramko, Yaroslav V. and Wansing, Heinrich Theodor. 2014.
“Truth Values.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/sum2014/entries/truth-values/.
Shramko, Yaroslav V. and Wansing, Heinrich Theodor. 2015.
“Truth Values.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/win2015/entries/truth-values/.
Shramko, Yaroslav V. and Wansing, Heinrich Theodor. 2016.
“Truth Values.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/fall2016/entries/truth-values/.
Shramko, Yaroslav V. and Wansing, Heinrich Theodor. 2017.
“Truth Values.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/sum2017/entries/truth-values/.
Shramko, Yaroslav V. and Wansing, Heinrich Theodor. 2020.
“Truth Values.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/win2020/entries/truth-values/.
Wansing, Heinrich Theodor. 1989.
“Bemerkungen zur Semantik nicht-normaler
möglicher Welten.” Zeitschrift
für mathematische Logik und Grundlagen der Mathematik
35: 551–557.
Wansing, Heinrich Theodor. 1990.
“A General Possible Worlds Framework for
Reasoning about Knowledge and Belief.” Studia Logica:
An International Journal for Symbolic Logic 49(4): 523–539.
Wansing, Heinrich Theodor. 1992.
The Logic of Information
Structures. Lecture Notes in Computer
Science n. 681. Berlin: Springer. Lecture Notes in Computer
Science.
Wansing, Heinrich Theodor. 1993a.
“Functional Completeness for Subsystems of
Intuitionistic Propositional Logic.” The Journal of
Philosophical Logic 22(3): 303–321.
Wansing, Heinrich Theodor. 1993b.
“Informational Interpretation of
Substructural Logics.” Journal of Logic, Language, and
Information 2(4): 285.
Wansing, Heinrich Theodor. 1993c.
“Informational Interpretation of
Substitutional Propositional Logics.” Journal of
Logic, Language, and Information 2(4): 285–308.
Wansing, Heinrich Theodor. 1994.
“Actions and Preventions.” in
Logic and Causal Reasoning, edited
by Jan Faye, Uwe Scheffler, and Max Urchs, pp. 131–140. Berlin: Akademie Verlag.
Wansing, Heinrich Theodor. 1995.
“On the Expressiveness of Categorial
Grammar.” in The Heritage of
Kazimierz Ajdukiewicz, edited by Vito F. Sinisi and Jan Woleński, pp. 337–352. Poznań Studies in the
Philosophy of the Sciences and the Humanities n. 40. Amsterdam:
Rodopi.
Wansing, Heinrich Theodor, ed. 1996.
Negation: A Notion in Focus. Perspektiven der analytischen Philosophie / Perspectives
in Analytic Philosophy n. 7. Berlin: de Gruyter.
Wansing, Heinrich Theodor. 1997.
“Displaying as Temporalizing: Sequent Systems
for Subintuitionistic Logics.” in Logic, Language, and Computation, edited by
Seiki Akama, pp. 159–178. Dordrecht:
Kluwer Academic Publishers.
Wansing, Heinrich Theodor. 1998a.
Displaying Modal Logic. Dordrecht: Kluwer Academic
Publishers.
Wansing, Heinrich Theodor. 1998b.
“Editorial: Modality, of Course! Modal logic,
Si!” Journal of Logic, Language, and Information
7(3): iii–vii.
Wansing, Heinrich Theodor. 1999a.
“Predicate Logics on Display.”
Studia Logica: An International Journal for Symbolic Logic
62(1): 49–75.
Wansing, Heinrich Theodor. 1999b.
“Negation as Falsity: a Reply to Tennant
(1999).” in What is
Negation?, edited by Dov M. Gabbay and Heinrich Theodor Wansing, pp. 223–237. Applied Logic
Series n. 13. Dordrecht: Kluwer Academic Publishers.
Wansing, Heinrich Theodor. 2000.
“The Idea of a Proof-Theoretic Semantics and
the Meanings of the Logical Operations.” Studia
Logica: An International Journal for Symbolic Logic 64(1): 3–20.
Wansing, Heinrich Theodor, ed. 2001a.
Essays on Non-Classical Logics.
Singapore: World Scientific Publishing Co.
Wansing, Heinrich Theodor. 2001b.
“Obligations, Authorities, and History
Dependence.” in Essays on
Non-Classical Logics, edited by Heinrich Theodor Wansing, pp. 247–258. Singapore: World
Scientific Publishing Co.
Wansing, Heinrich Theodor. 2001c.
“Negation.” in The
Blackwell Guide to Philosophical Logic, edited by Lou F.
Goble, pp. 415–436. Blackwell
Philosophy Guides. Oxford: Blackwell Publishers, doi:10.1002/9781405164801.
Wansing, Heinrich Theodor. 2002a.
“Sequent Systems for Modal
Logics.” in Handbook of
Philosophical Logic, Volume VIII, edited by Dov
M. Gabbay and Franz Guenthner, 2nd ed., pp. 61–146. Dordrecht:
Springer.
Wansing, Heinrich Theodor. 2002b.
“Diamonds Are a Philosopher’s Best Friends:
The Knowability Paradox and Modal Epistemic Relevance
Logic.” The Journal of Philosophical Logic 31(6):
613–614.
Wansing, Heinrich Theodor. 2002c.
“A Rule-Extension of the Non-Associative
Lambek Calculus.” Studia Logica: An International
Journal for Symbolic Logic 71(3): 443–451.
Wansing, Heinrich Theodor. 2002d.
“Seeing to it that an Agent Forms a
Belief.” Logic and Logical Philosophy 10:
185–197.
Wansing, Heinrich Theodor. 2004a.
“Review of Horty (2001).” Journal
of Logic, Language, and Information 13(3): 379–381.
Wansing, Heinrich Theodor. 2004b.
“Action-Theoretic Aspects of Theory
Choice.” in Logic, Epistemology,
and the Unity of Science, volume 1, edited by Shahid Rahman, John Symons, Dov M. Gabbay, and Jean Paul van Bendegem, pp. 419–436. Dordrecht: Springer.
Wansing, Heinrich Theodor. 2005.
“Connexive Modal Logic.” in Advances in Modal Logic, volume V, edited by
Renate A. Schmidt, Ian Pratt-Hartmann, Mark A. Reynolds, and Heinrich Theodor Wansing, pp. 367–383. London: King’s College
Publications.
Wansing, Heinrich Theodor. 2006a.
“Connexive Logic.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/win2006/entries/logic-connexive/.
Wansing, Heinrich Theodor. 2006b.
“Connectives Stranger than
Tonk.” The Journal of Philosophical Logic 35(6):
653–660.
Wansing, Heinrich Theodor. 2006c.
“Doxastic Decisions, Epistemic Justification,
and the Logic of Agency.” Philosophical Studies
128(1): 201–227.
Wansing, Heinrich Theodor. 2006d.
“Tableaux for Multi-Agent Deliberative-Stit
Logic.” in Advances in Modal
Logic, volume VI, edited by Guido Governatori, Ian Hodkinson, and Yde Venema, pp. 503–520. London: King’s College
Publications.
Wansing, Heinrich Theodor. 2010a.
“Connexive Logic.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/fall2010/entries/logic-connexive/.
Wansing, Heinrich Theodor. 2010b.
“Review of Cocchiarella and Freund
(2008).” The Bulletin of Symbolic Logic
16(2): 275–276.
Wansing, Heinrich Theodor. 2010c.
“Proofs, Disproofs, and Their
Duals.” in Advances in Modal
Logic, volume VIII, edited by Lev D. Beklemishev, Valentin Goranko, and Valentin Shehtman, pp. 483–505. London: King’s College
Publications.
Wansing, Heinrich Theodor. 2011.
“Negation in der konstruktiven Logik.” in
Lebenswelt und Wissenschaft, edited by Carl
Friedrich Gethmann, pp. 1093–1110.
Deutsches Jahrbuch Philosophie n. 2. Hamburg: Felix Meiner
Verlag, doi:10.28937/978-3-7873-2399-9.
Wansing, Heinrich Theodor. 2014.
“Connexive Logic.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/fall2014/entries/logic-connexive/.
Wansing, Heinrich Theodor. 2015.
“Knowability Remixed.” in Foundations of Logical Consequence, edited by
Colin R. Caret and Ole Thomassen Hjortland, pp. 322–328. Mind Association
Occasional Series. Oxford: Oxford University Press, doi:10.1093/acprof:oso/9780198715696.001.0001.
Wansing, Heinrich Theodor. 2016.
“On Split Negation, Strong Negation,
Information, Falsification, and Verification.” in
J. Michael Dunn on Information Based
Logics, edited by Katalin Bimbó, pp. 161–190. Outstanding Contributions to Logic n. 8. Cham:
Springer, doi:10.1007/978-3-319-29300-4.
Wansing, Heinrich Theodor. 2017.
“Remarks on the Logic of Imagination. A Step
towards Understanding Doxastic Control through
Imagination.” Synthese 194(8): 2843–2861.
Wansing, Heinrich Theodor. 2020.
“Connexive Logic.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/spr2020/entries/logic-connexive/.
Wansing, Heinrich Theodor. 2022.
“Connexive Logic.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/sum2022/entries/logic-connexive/.
Wansing, Heinrich Theodor. 2023.
“Connexive Logic.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/sum2023/entries/logic-connexive/.
Wansing, Heinrich Theodor and Priest, Graham. 2015. “External
Curries.” The Journal of Philosophical Logic
44(4): 453–471.
Wansing, Heinrich Theodor and Shramko, Yaroslav V. 2008. “A Note on Two Ways of Defining a Many-Valued
Logic.” in The Logica Yearbook 2007,
edited by Michal Peliš, pp. 255–266.
Praha: Filosofia. Nakladetelstvı́ Filosofického
ústavu AV ČR.
Wansing, Heinrich Theodor and Skurt, Daniel. 2019. “On
Non-Transitive ‘Identity’ .” in Graham Priest on Dialetheism and
Paraconsistency, edited by Can Başkent and Thomas Macaulay Ferguson, pp. 535–554. Cham: Springer Nature,
doi:10.1007/978-3-030-25365-3.
Wolter, Frank, Wansing, Heinrich Theodor, de Rijke,
Maarten and Zakharyaschev, Michael, eds.
2002. Advances in Modal Logic. vol.
III. Singapore: World Scientific Publishing Co.
Zakharyaschev, Michael, Segerberg, Krister, de Rijke,
Maarten and Wansing, Heinrich Theodor,
eds. 2000. Advances in Modal Logic.
vol. II. Stanford, California: CSLI Publications.
Further References
Cocchiarella, Nino Barnabas and Freund, Max A. 2008. Modal Logic. An Introduction to Its Syntax and
Semantics. Oxford: Oxford University Press, doi:10.1093/acprof:oso/9780195366587.001.0001.
Horty, John F. 2001. Agency and Deontic Logic. Oxford: Oxford
University Press, doi:10.1093/0195134613.001.0001.
Tennant, Neil W. 1999. “Negation, Absurdity and Contrariety.” in
What is Negation?, edited by Dov M.
Gabbay and Heinrich Theodor Wansing, pp. 199–222. Applied Logic
Series n. 13. Dordrecht: Kluwer Academic Publishers.