A simple incomplete extension of t which is the union of two complete modal logics with F.M.P

Journal of Philosophical Logic

Volumn 31, Issue 6, 2002, Pages 527-541

  Benton, Roy A ^a  

^a Departments of Mathematics and Philosophy   (United States)

Author keywords

Complete; Incomplete; Modal logic; Model property; Union

Indexed keywords

EID: 24644459756     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1021223721102     Document Type: Article

References (12)

1. van Benthem, J. F. A. K.: Two simple incomplete modal logics, Theoria 44 (1978), 25-37.
2. van Benthem, J. F. A. K.: Canonical modal logics and ultrafilter extensions, J. Symbolic Logic 44 (1979), 1-8.
3. Benton, R. A.: General modal incompleteness and finite axiomatizability, Ph.D. dissertation, University of Michigan, 1985, University Microfilms, Ann Arbor, 1985.
4. Boolos, G. and Sambin, G.: An incomplete system of modal logic, J. Philos. Logic 14(1985), 351-358.
5. Chellas, B.: Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980.
6. Cresswell, M. J.: Magari's theorem via the recession frame, J. Philos. Logic 16 (1987), 13-15.
7. Fine, K.: Normal forms in modal logic, Notre Dame J. Formal Logic 16 (1975), 229-234.
8. Fine, K.: Some connections between elementary and modal logic, in S. Kanger (ed.), Proceedings of the Third Scandinavian Logic Symposium, North-Holland, Amsterdam, 1975, pp. 15-31.
9. Lewis, D.: Intensional logics without iterative axioms, J. Philos. Logic 3 (1974), 457466.
10. Magari, R.: Primi resultati sulla varieta di Boolos, Boll. Un. Mat. Ital. (6) 1-B (1982), 359-367.
11. Makinson, D. C.: A normal modal calculus between T and S4 without the finite model property, J. Symbolic Logic 34 (1969), 35-38.
12. Thomason, S. K.: An incompleteness theorem in modal logic, Theoria 60 (1974), 30-34.