Abstract
The topic discussed in the present book was initiated and motivated by some ideas of the late logician A. N. Prior. In Chapter V of his book written in 1957 [9], he introduced a new modal propositional logic called System Q. This system permits truth-value-gaps, and, hence, “true in all possible worlds” and “false in no possible worlds” fail to be synonymous therein. Using Kripkestyle model structures (cf., e.g., in [6]), we can re-formulate system Q as follows.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Ruzsa, I. (2001). The Pre-History of the Topic. In: Modal Logic with Descriptions. Nijhoff International Philosophy Series, vol 10. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2294-0_1
Download citation
DOI: https://doi.org/10.1007/978-94-017-2294-0_1
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-8266-4
Online ISBN: 978-94-017-2294-0
eBook Packages: Springer Book Archive