Abstract
Given a 1-ary sentence operator ○, we describe L - another 1-ary operator - as as a left inverse of ○ in a given logic if in that logic every formula ϕ is provably equivalent to L○ϕ. Similarly R is a right inverse of ○ if ϕ is always provably equivalent to ○Rϕ. We investigate the behaviour of left and right inverses for ○ taken as the □ operator of various normal modal logics, paying particular attention to the conditions under which these logics are conservatively extended by the addition of such inverses, as well as to the question of when, in such extensions, the inverses behave as normal modal operators in their own right.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
BELNAP, N. D., 1962, ‘Tonk, Plonk, and Plink’, Analysis 22, 130–134.
VAN BENTHEM, J., 1984, ‘Correspondence Theory’, in D. Gabbay and F. Guenthner (eds.) Handbook of Philosophical Logic, Vol. II, 167–247, Reidel, Dordrecht.
CHELLAS, B. F., 1980, Modal Logic: An Introduction, Cambridge University Press, Cambridge.
HENDRY, H. E., 1981, ‘Does IPC Have a Binary Indigenous Sheffer Function?’, Notre Dame Journal of Formal Logic 22, 183–186.
HOWIE, J. M., 1976, An Introduction to Semigroup Theory, Academic Press, London.
HUGHES, G. E., and M. J. CRESSWELL, 1984, A Companion to Modal Logic, Methuen, London.
KOSLOW, A., 1992, A Structuralist Theory of Logic, Cambridge University Press, Cambridge.
KRIPKE, S. A., 1963, ‘Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi’, Zeitschrift für math. Logik und Grundlagen der Math. 9, 67–96.
LEMMON, E. J., (with D. S. SCOTT), 1977, An Introduction to Modal Logic (ed. K. Segerberg), American Philosophical Quarterly Monograph Series (#11), Blackwell, Oxford.
PAHI, B., 1971, ‘Full Models and Restricted Extensions of Propositional Calculi’, Zeitschrift für math. Logik und Grundlagen der Math. 17, 5–10.
SAHLQVIST, H., 1975, ‘Completeness and Correspondence in the First and Second Order Semantics for Modal Logic’, in S. Kanger (ed.) Procs. Third Scandinavian Logic Symposium, 110–143 Uppsala 1973, North-Holland, Amsterdam.
SEGERBERG, K., 1986, ‘Modal Logics with Functional Alternative Relations’, Notre Dame Journal of Formal Logic 27, 504–522.
SmoryŃski, C., 1985, Self-Reference and Modal Logic, Springer-Verlag, New York.
WILLIAMSON, T., 1988, ‘Assertion, Denial, and Some Cancellation Rules in Modal Logic’, Journal of Philosophical Logic 17, 299–318.
WILLIAMSON, T., 1990, ‘Verification, Falsification, and Cancellation in KT’, Notre Dame Journal of Formal Logic 31, 286–290.
WILLIAMSON, T., 1990, ‘Two Incomplete Anti-Realist Modal Epistemic Logics’, Journal of Symbolic Logic 55, 297–314.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Humberstone, L., Williamson, T. Inverses for Normal Modal Operators. Studia Logica 59, 33–64 (1997). https://doi.org/10.1023/A:1004995316790
Issue Date:
DOI: https://doi.org/10.1023/A:1004995316790