Notre Dame Journal of Formal Logic

A Deontic Counterpart of Lewis's S1

R. E. Jennings and Kam Sing Leung


In this paper we investigate nonnormal modal systems in the vicinity of the Lewis system S1. It might be claimed that Lewis's modal systems (S1, S2, S3, S4, and S5) are the starting point of modern modal logics. However, our interests in the Lewis systems and their relatives are not (merely) historical. They possess certain syntactical features and their frames certain structural properties that are of interest to us. Our starting point is not S1, but a weaker logic S1$^0$ (S1 without the schema [T]). We extend it to S1$^0$D, which can be considered as a deontic counterpart of the alethic S1. Soundness and completeness of these systems are then demonstrated within a prenormal idiom. We conclude with some philosophical remarks on the interpretation of our deontic logic.

Article information

Notre Dame J. Formal Logic Volume 46, Number 2 (2005), 217-230.

First available in Project Euclid: 2 June 2005

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 03B45: Modal logic (including the logic of norms) {For knowledge and belief, see 03B42; for temporal logic, see 03B44; for provability logic, see also 03F45}

modal logic deontic logic Lewis systems prenormal idiom


Leung, Kam Sing; Jennings, R. E. A Deontic Counterpart of Lewis's S1. Notre Dame J. Formal Logic 46 (2005), no. 2, 217--230. doi:10.1305/ndjfl/1117755151.

Export citation


  • [1] Chellas, B. F., and K. Segerberg, "Modal logics in the vicinity of $\rm S1$", Notre Dame Journal of Formal Logic, vol. 37 (1996), pp. 1--24.
  • [2] Cresswell, M. J., "S1 is not so simple", pp. 29--40 in Modality, Morality, and Belief: Essays in Honor of Ruth Barcan Marcus, edited by W. Sinnott-Armstrong, D. Raffman, and N. Asher, Cambridge University Press, Cambridge, 1995.
  • [3] Cresswell, M. J., "The completeness of $S1$" and some related systems, Notre Dame Journal of Formal Logic, vol. 13 (1972), pp. 485--96.
  • [4] Kapron, B. M., "Modal sequents and definability", The Journal of Symbolic Logic, vol. 52 (1987), pp. 756--62.
  • [5] Kripke, S. A., "Semantical analysis of modal logic. I. Normal modal propositional calculi", Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 67--96.
  • [6] Lemmon, E. J., "New foundations for Lewis modal systems", The Journal of Symbolic Logic, vol. 22 (1957), pp. 176--86.
  • [7] Schotch, P. K., and R. E. Jennings, "Non-Kripkean deontic logic", pp. 149--62 in New Studies in Deontic Logic, edited by R. Hilpinen, vol. 152 of Synthese Library, D. Reidel Publishing Company, Dordrecht, 1981.