Abstract
The paper generalises Goldblatt's completeness proof for Lemmon–Scott formulas to various modal propositional logics without classical negation and without ex falso, up to positive modal logic, where conjunction and disjunction, andwhere necessity and possibility are respectively independent.Further the paper proves definability theorems for Lemmon–Scottformulas, which hold even in modal propositional languages without negation and without falsum. Both, the completeness theorem and the definability theoremmake use only of special constructions of relations,like relation products. No second order logic, no general frames are involved.
Similar content being viewed by others
References
Celani, S. and Jansana, R., 1999, “Priestley Duality, a Sahlqvist and a Goldblatt–Thomason theorem for positive modal logic,” Logic Journal of the IGPL 7, 683–715.
Chellas, B.F., 1980, Modal Logic: An Introduction, Cambridge: Cambridge University Press.
Dunn, J.M., 1995, “Positive modal logic,” Studia Logica 55, 301–317.
Goldblatt, R., 1975, “Solution to a completeness problem of Lemmon and Scott,” Notre Dame Journal of Formal Logic 3, 405–408.
Hughes, G.E. and Cresswell, M.J., 1984, A Companion to Modal Logic, London: Methuen.
Lemmon, E.J. and Scott, D.S., 1977, The Lemmon Notes: An Introduction to Modal Logic, K. Segerberg, ed., Oxford: Basil Blackwell.
Sahlqvist, H., 1975, “Completeness and correspondence in the first and second order semantics for modal logic,” pp. 110–143 in Proceedings of the Third Scandinavian Logic Symposium, S. Kangar, ed., Amsterdam: North-Holland.
Segerberg, K., 1971, An Essay in Classical Modal Logic, Uppsala: Filosofiska Studier.
van Benthem, J., 1985, Modal Logic and Classical Logic, Naples: Bibliopolis.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Zimmermann, E. Elementary Definability and Completeness in General and Positive Modal Logic. Journal of Logic, Language and Information 12, 99–117 (2003). https://doi.org/10.1023/A:1021189103204
Issue Date:
DOI: https://doi.org/10.1023/A:1021189103204