Abstract
The sentences ∀s and ∀s ⊃ ∃0 are K-irrefutable, but ∃0 is K-refutable. (If ϱ(∀) w = 0, then ϱ(∃0) w = 0.) Similarly, t ≈ t and t ≈ t ⊃ t ≈ t (1) are K-irrefutable, but if t =“I y. ∼ .y≈y”, then
is K-refutable (and K-unsatisfiable).
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). Relevance Conditions. In: Modal Logic with Descriptions. Nijhoff International Philosophy Series, vol 10. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2294-0_6
Download citation
DOI: https://doi.org/10.1007/978-94-017-2294-0_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-8266-4
Online ISBN: 978-94-017-2294-0
eBook Packages: Springer Book Archive