Abstract
This is a summary of some things that can be said about negation understood as an impossibility operator. To model negation one may use possible-worlds models in the style of Kripke that have an accessibility relation R N peculiar to negation: not A holds at a world x if and only if A doesn’t hold at any world accessible from x by R N . This method for modelling negation is applicable to classical logic, intuitionistic logic, intermediate logics and, in general, nonclassical logics with models in the style of Kripke, like relevant, linear and other substructural logics. We concentrate here on negation-like operators added to intuitionistic negationless logic, taken as a test case. One could later try to proceed analogously with other logics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Bozic. A Contribution to the Semantics of Relevant Logic, (in Serbo-Croatian). Doctoral dissertation, University of Belgrade, 1983.
M. Bozic and K. Dosen. Models for normal intuitionistic modal logics. Studio Logica, 43, 217 – 245, 1984.
H. B. Curry. Foundations of Mathematical Logic. McGraw-Hill, New York, 1963.
K. Do-gen. Negative modal operators in intuitionistic logic. Publications de l’Institut Mathé matique, 3, 3 – 14, 1984.
K. Doren. Models for stronger normal intuitionistic modal logics. Studia Logica, 44, 39 – 70, 1985.
K. Dosen. Negation as a modal operator. Reports on Mathematical Logic, 20, 15 – 27, 1986.
K. Doren. Negation and impossibility. In Essays on Philosophy and Logic, Proceedings of the 30th Conference on the History of Logic Dedicated to R. Suszko, Cracow 1984, J. Perzanowski ed. pp. 85 – 91, Jagiellonian University Press, Cracow, 1987.
K. Dosen. Modal duality theory. In Proceedings of the Conference ‘Algebra and Logic’, Cetinje 1986, Z. Stojakovic ed. pp. 73 – 88, University of Novi Sad, Novi Sad, 1987.
K. Dosen. Logical constants as punctuation marks. Notre Dame Journal of Formal Logic, 30, 362–381, 1989. Slightly amended version in What is a Logical System?, D. M. Gabbay ed. pp. 273— 296, Oxford University Press, Oxford, 1994.
K. Dossen. Modal logic as metalogic. Journal of Logic, Language and Information, 1, 173 – 201, 1992.
E. J. Lemmon. Is there only one correct system of modal logic? Proceedings of the Aristotelian Society Suppl., 33, 23 – 40, 1959.
J. C. C. McKinsey and A. Tarski. On closed elements in closure algebras. Annals of Mathematics, 47, 122 – 162, 1946.
C. Rauszer. An algebraic and Kripke-style approach to a certain extension of intuitionistic logic. Dissertationes Mathematicae, 167, 5 – 62, 1980.
V. H. Sotirov. Modal theories with intuitionistic logic. In Mathematical Logic, Proceedings of the Conference on Mathematical Logic Dedicated to A.A. Markov, Sofia 1980, pp. 139–171, Bulgarian Academy of Sciences, Sofia, 1984.
D. Vakarelov. Consistency, completeness and negation. In Paraconsistent Logic: Essays on the Inconsistent, G. Priest, R. Routley and J. Norman eds. pp. 328 – 369, Philosophia Verlag, Munich, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Došen, K. (1999). Negation in the Light of Modal Logic. In: Gabbay, D.M., Wansing, H. (eds) What is Negation?. Applied Logic Series, vol 13. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9309-0_4
Download citation
DOI: https://doi.org/10.1007/978-94-015-9309-0_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5169-1
Online ISBN: 978-94-015-9309-0
eBook Packages: Springer Book Archive