Modal logics between propositional and first-order

Journal of Logic and Computation

Volumn 12, Issue 6, 2002, Pages 1017-1026

  Fitting, Melvin ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

Abstraction; Decidable; Modal; Non rigid; Propositional

Indexed keywords

CODES (SYMBOLS); SEMANTICS; SYNTACTICS; THEOREM PROVING;

MODAL LOGICS;

FORMAL LOGIC;

EID: 0037216041     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/12.6.1017     Document Type: Article

References (12)

1. P.J. Cohen. Set Theory and the Continuum Hypothesis. W.A. Benjamin, New York, 1966.
2. M.C. Fitting. An embedding of classical logic in S4. Journal of Symbolic Logic, 35, 529-534, 1970.
3. M.C. Fitting. Proof Methods for Modal and Intuitionistic Logics. D. Reidel, Dordrecht, 1983.
4. M.C. Fitting. Databases and higher types. In Computational Logic-CL 2000, J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K.-K. Lau, C. Palamidessi, L.M. Pereira, Y. Sagiv, and P. Stuckey, eds, volume 1861 of Lecture Notes in Artificial Intelligence, pp. 41-52. Springer, 2000.
5. M.C. Fitting. Modalily and databases. In Automated Reasoning with Analytic Tableaux and Related Methods, R. Dyckhoff, ed., volume 1847 of Lecture Notes in Artificial Intelligence, pp. 19-39. Springer, 2000.
6. M.C. Fitting. Types, Tableaus, and Giödel's God. Kluwer, 2000 (in press).
7. M.C. Fitting and Richard Mendelsohn. First-Order Modal Logic. Kluwer, 1998.
8. J.C.C. McKinsey and A. Tarski. Some theorems about the sentential calculi of Lewis and Heyting. Journal of Symbolic Logic, 13, 1-15, 1948.
9. D. Prawitz. An interpretation of intuitionistic predicate logic in modal logic. In Contributions to Mathematical Logic, Proceedings of the Logic Colloquium, Hanover, 1966.
10. Raymond M. Smullyan and M.C. Fitting. Set Theory and the Continuum Problem. Oxford University Press, 1996.
11. R. Stalnaker and R. Thomason. Abstraction in first-order modal logic. Theoria, 34, 203-207, 1968.
12. R. Thomason and R. Stalnaker. Modality and reference. Nous, 2, 359-372, 1968.