Abstract
In this §, we shall introduce the syntactical (“axiomatized”) versions of the Q systems. To do this, we define the notions “f is a, μ-axiom”, and “f is µ-deducible from the set α of sentences” (for µ = K, D, T, 4, 5).
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 Q Calculi. In: Modal Logic with Descriptions. Nijhoff International Philosophy Series, vol 10. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2294-0_8
Download citation
DOI: https://doi.org/10.1007/978-94-017-2294-0_8
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-8266-4
Online ISBN: 978-94-017-2294-0
eBook Packages: Springer Book Archive