Interpolation for first order S5

Journal of Symbolic Logic

Volumn 67, Issue 2, 2002, Pages 621-634

  Fitting, Melvin ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0036017416     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2178/jsl/1190150101     Document Type: Article

References (17)

1. W Ackermann, Solvable cases of the decision problem, North-Holland, Amsterdam, 1954.
2. Carlos Areces, Patrick BLAckbURn, and MAARten Marx, Hybrid logics: Characterization, interpolation and complexity, this JouRnAL, vol. 66 (2001), pp. 977-1010.
3. R. A. Bull, On modal logic with propositional quantifiers, this JournaL, vol. 34 (1969), no. 2, pp. 257-263.
4. Kit Fine, Propositional quantifiers in modal logic, Theoria, vol. 36 (1970), pp. 336-346.
5. Kit Fine, Failures of the interpolation lemma in quantified modal logic, this JournaL, vol. 44 (1979), pp. 201-206.
6. Meivin C. Fitting, Tableau methods of proof for modal logics, Notre Dame Journal of Formal Logic, vol. 13 (1972), pp. 237-247.
7. Meivin C. Fitting, Proof methods for modal and intuitionistic logics, D. Reidel Publishing Co., Dordrecht, 1983.
8. Meivin C. Fitting, First-order logic and automated theorem proving, Springer-Verlag, 1996, first edition, 1990.
9. MeLvinC. Fitting and R. MendeLsohn, First-order modal logic, Kluwer, 1998, paperback, 1999.
10. Robert GoLdbLatt, Mathematics of modality, CSLI Lecture Notes, no. 43, CSLI, Stanford, CA, 1993.
11. David KApiAn, S5 with quantifiable propositional variables, this JournaL, vol. 35 (1970), no. 2, p. 355.
12. Dag PRawitz, Hauptsatz for higher order logic, this JournaL, vol. 33 (1968), pp. 452-457.
13. Bertrand RusseLL, The principles of mathematics, Allen and Unwin, London, 1903.
14. R. M. SmuLLyan, First-order logic, Springer-Verlag, Berlin, 1968, revised edition, Dover Press, New York, 1994.
15. L. J. Stockmeyer, The complexity of decision problems in automata theory and logic, Technical Report MAC TR-133, MIT, Cambridge, MA, 1974.
16. Moto-o Takahashi, A proof of cut-elimination theorem in simple type theory, Journal of the Mathematical Society of Japan, vol. 19 (1967), pp. 399-410.
17. S. K. Thomason, Semantic analysis of tense logic, this JournaL, vol. 37 (1972), pp. 150-158.