{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T11:45:18Z","timestamp":1776080718705,"version":"3.50.1"},"reference-count":23,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1996,1,1]]},"DOI":"10.1305\/ndjfl\/1040067312","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:15:49Z","timestamp":1046207749000},"source":"Crossref","is-referenced-by-count":15,"title":["Modal Logics in the Vicinity of S1"],"prefix":"10.1215","volume":"37","author":[{"given":"Brian F.","family":"Chellas","sequence":"first","affiliation":[]},{"given":"Krister","family":"Segerberg","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"Benton, Roy A., \u201cStrong modal completeness with respect to neighborhood semantics,\u201d unpublished manuscript, Department of Philosophy, The University of Michigan, 1975."},{"key":"2","unstructured":"Chellas, Brian F., Modal Logic: An Introduction<\/i>, Cambridge University Press, Cambridge and New York, 1980; reprinted with corrections 1988. Zbl 0431.03009 MR 81i:03019"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Cresswell, M. J., \u201cThe interpretation of some Lewis systems of modal logic,\u201d Australasian Journal of Philosophy<\/i>, vol. 45 (1967), pp. 198\u2013206.","DOI":"10.1080\/00048406712341141"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Cresswell, M. J., \u201cThe completeness of S1 and some related problems,\u201d Notre Dame Journal of Formal Logic<\/i>, vol. 13 (1972), pp. 485\u2013496. Zbl 0242.02019 MR 50:6794","DOI":"10.1305\/ndjfl\/1093890710"},{"key":"5","unstructured":"Cresswell, M. J., \u201cS1 is not so simple,\u201d pp. 29\u201340 in Modality, Morality and Belief: Essays in Honor of Ruth Barcan Marcus<\/i>, edited by Walter Sinnott-Armstrong, Diana Raffman, and Nicholas Asher, Cambridge University Press, Cambridge, 1995."},{"key":"6","unstructured":"Feys, Robert, Modal Logics<\/i>, edited with some complements by Joseph Dopp, E. Nauwelaerts, Louvain, and Gauthiers-Villars, Paris, 1965. Zbl 0128.01203 MR 30:3008"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Girle, Roderick A., \u201cS1$\\neq$ S0.9,\u201d Notre Dame Journal of Formal Logic<\/i>, vol. 16 (1975), pp. 339\u2013344. Zbl 0245.02026 MR 51:7828","DOI":"10.1305\/ndjfl\/1093891791"},{"key":"#cr-split#-8.1","unstructured":"Hughes, G. E., and M. J. Cresswell, An Introduction to Modal Logic<\/i>, Methuen and Co. Ltd., London, 1968"},{"key":"#cr-split#-8.2","unstructured":"reprinted with corrections 1972. Zbl 0205.00503 MR 55:12472"},{"key":"9","unstructured":"Hughes, G. E., and M. J. Cresswell, A Companion to Modal Logic<\/i>, Methuen and Co. Ltd., London and New York, 1984. Zbl 0625.03005 MR 86j:03014"},{"key":"10","unstructured":"Kripke, Saul A., \u201cThe semantical analysis of modal logic ii. Nonnormal modal propositional calculi,\u201d pp. 206\u2013220 in The Theory of Models: Proceedings of the 1963 International Symposium at Berkeley<\/i>, edited by J. Addison, L. Henkin, and A. Tarski, North-Holland Publishing Co., Amsterdam, 1965."},{"key":"11","doi-asserted-by":"crossref","unstructured":"Lemmon, E. J., \u201cNew foundations for Lewis modal systems,\u201d The Journal of Symbolic Logic<\/i>, vol. 22 (1957), pp. 176\u2013186. Zbl 0080.24203 MR 24:A1817","DOI":"10.2307\/2964179"},{"key":"12","unstructured":"Lemmon, E. J., in collaboration with Dana Scott, The \u201cLemmon Notes\u201d: An Introduction to Modal Logic<\/i>, edited by Krister Segerberg, no. 11 in the American Philosophical Quarterly Monograph Series, edited by Nicholas Rescher, Basil Blackwell, Oxford, 1977. Zbl 0388.03006 MR 57:15931"},{"key":"13","doi-asserted-by":"crossref","unstructured":"Lewis, C. I., A Survey of Symbolic Logic<\/i>, University of California Press, Berkeley, 1918.","DOI":"10.1525\/9780520398252"},{"key":"#cr-split#-14.1","unstructured":"Lewis, C. I., and C. H. Langford, Symbolic Logic<\/i>, New York, 1932"},{"key":"#cr-split#-14.2","unstructured":"second edition, Dover Publications, 1959. Zbl 0087.00802 MR 21:4091"},{"key":"15","doi-asserted-by":"publisher","unstructured":"Lewis, David K., \u201cIntensional logics without iterative axioms,\u201d Journal of Philosophical Logic<\/i>, vol. 3 (1974), pp. 457\u2013466. Zbl 0296.02014 MR 54:9981","DOI":"10.1007\/BF00257488"},{"key":"16","doi-asserted-by":"crossref","unstructured":"McKinsey, J. C. C., \u201cA reduction in number of the postulates for C. I. Lewis' system of strict implication,\u201d Bulletin of the American Mathematical Society<\/i>, vol. 40 (1934), pp. 425\u2013427. Zbl 0009.33705","DOI":"10.1090\/S0002-9904-1934-05881-6"},{"key":"17","doi-asserted-by":"crossref","unstructured":"Schotch, Peter K., \u201cRemarks on the semantics of non-normal logics,\u201d Topoi<\/i>, vol. 3 (1984), pp. 85\u201390. MR 86i:03024","DOI":"10.1007\/BF00136123"},{"key":"18","unstructured":"Segerberg, Krister, An Essay in Classical Modal Logic<\/i>, The Philosophical Society, Uppsala, 1971. Zbl 0311.02028 MR 49:4756"},{"key":"19","doi-asserted-by":"crossref","unstructured":"Shukla, Anjan, \u201cDecision procedures for Lewis system S1 and related modal systems,\u201d Notre Dame Journal of Formal Logic<\/i>, vol. 11 (1970), pp. 141\u2013180. Zbl 0182.00601 MR 44:1544","DOI":"10.1305\/ndjfl\/1093893934"},{"key":"20","doi-asserted-by":"publisher","unstructured":"Surendonk, Timothy J., \u201cCanonicity for intensional logics without iterative axioms,\u201d Technical Report TR-ARP-4-95, Automated Reasoning Project (Research School of Information Sciences and Engineering, and Centre for Information Science Research), Australian National University, November 27, 1995.","DOI":"10.1023\/A:1004201429142"},{"key":"21","unstructured":"Sylvan, Richard, \u201cRelational semantics for all Lewis, Lemmon and Feys modal logics, most notably for systems between S0.3$^\\circ$ and S1,\u201d The Journal of Non-classical Logic<\/i>, vol. 6 (1989), pp. 19\u201340. Zbl 0714.03015 MR 1209360"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040067312","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:41Z","timestamp":1706649161000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-37\/issue-1\/Modal-Logics-in-the-Vicinity-of-S1\/10.1305\/ndjfl\/1040067312.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1,1]]},"references-count":23,"journal-issue":{"issue":"1","published-online":{"date-parts":[[1996,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040067312","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1996,1,1]]}}}