Defining relevant implication in a propositionally quantified S4

Journal of Symbolic Logic

Volumn 62, Issue 4, 1997, Pages 1057-1069

  Kremer, Philip ^a  

^a YALE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031313682     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275626     Document Type: Article

References (22)

1. A. R. ANDERSON and N. D. BELNAP JR., Entailment: the logic of relevance and necessity, vol. 1, Princeton University Press, Princeton, 1975.
2. R. A. BULL, On modal logic with prepositional quantifiers, this JOURNAL, vol. 34 (1969), pp. 257-263.
3. R. CARNAP, Meaning and necessity, University of Chicago Press, Chicago, 1947.
4. K. FINE, Prepositional quantifiers in modal logic, Theoria, vol. 36 (1970), pp. 336-346.
5. G. FREGE, Über sinn und bedeutung, Zeitschrift für Philosophie und Kritik, vol. 100 (1892), pp. 25-50, English translation, On sense and reference, (M. Black, translator), Translations from the philosophical writings of Gottlob Frege, (P. Geach and M. Black, editors), Basil Blackwell, Oxford, 2nd edition, 1960, pp. 56-79.
6. G. FREGE, Über sinn und bedeutung, Zeitschrift für Philosophie und Kritik, vol. 100 (1892), pp. 25-50, English translation, On sense and reference, (M. Black, translator), Translations from the philosophical writings of Gottlob Frege, (P. Geach and M. Black, editors), Basil Blackwell, Oxford, 2nd edition, 1960, pp. 56-79.
7. L. HENKIN, Completeness in the theory of types, this JOURNAL, vol. 15 (1950), pp. 81-91.
8. D. HILBERT and P. BERNAYS, Grundlagen der Mathematik I, Springer-Verlag, Berlin, 1934.
9. G. E. HUGHES and M. J. CRESSWELL, An introduction to modal logic, Methuen and Co. Ltd., London, 1968.
10. _, A companion to modal logic, Methuen and Co. Ltd., London, 1984.
11. M. KAMINSKI and M. TIOMKIN, The expressive power of second-order prepositional modal logic, Notre Dame Journal of Formal Logic, vol. 37 (1996), pp. 35-43.
12. D. KAPLAN, S5 with quantifiable prepositional variables, this JOURNAL, vol. 35 (1970), p. 355.
13. P. KREMER, On the complexity of prepositional quantification in intuitionistic logic, forthcoming in this JOURNAL.
14. _, Prepositional quantification in the topological semantics for S4, manuscript.
15. _, Quantifying over propositions in relevance logic: non-axiomatisability of ∀p and ∃p, this JOURNAL, vol. 58 (1993), pp. 334-349.
16. S. KRIPKE, Semantical analysis of modal logic I, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 67-96.
17. C. I. LEWIS and C. H. LANGFORD, Symbolic logic, Dover Publications, New York, 1932.
18. R. K. MEYER, Relevance is not reducible to modality, in Anderson and Belnap [1975], pp. 462-471, 1975.
19. R. ROUTLEY and R. K. MEYER, The semantics of entailment I, Truth, syntax and modality: proceedings of the Temple University conference on alternative semantics (H. Leblanc, editor), North-Holland, Amsterdam, 1973, pp. 199-243.
20. B. RUSSELL, On denoting, Mind, vol. 14 (1905), pp. 479-493.
21. _, Introduction to mathematical philosophy, London, 1919.
22. A. URQUHART, Semantics for relevant logics, this JOURNAL, vol. 37 (1972), pp. 159-169.