{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:21:45Z","timestamp":1755220905091,"version":"3.43.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,7,1]],"date-time":"1997-07-01T00:00:00Z","timestamp":867715200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,7,1]],"date-time":"1997-07-01T00:00:00Z","timestamp":867715200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1997,7]]},"DOI":"10.1023\/a:1004995316790","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:24:14Z","timestamp":1040484254000},"page":"33-64","source":"Crossref","is-referenced-by-count":8,"title":["Inverses for Normal Modal Operators"],"prefix":"10.1007","volume":"59","author":[{"given":"Lloyd","family":"Humberstone","sequence":"first","affiliation":[]},{"given":"Timothy","family":"Williamson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"143138_CR1","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1093\/analys\/22.6.130","volume":"22","author":"N. D. Belnap","year":"1962","unstructured":"BELNAP, N. D., 1962, \u2018Tonk, Plonk, and Plink\u2019, Analysis\n22, 130\u2013134.","journal-title":"Analysis"},{"key":"143138_CR2","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-009-6259-0_4","volume-title":"Handbook of Philosophical Logic","author":"J. Van Benthem","year":"1984","unstructured":"VAN BENTHEM, J., 1984, \u2018Correspondence Theory\u2019, in D. Gabbay and F. Guenthner (eds.) Handbook of Philosophical Logic, Vol. II, 167\u2013247, Reidel, Dordrecht."},{"key":"143138_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B. F. Chellas","year":"1980","unstructured":"CHELLAS, B. F., 1980, Modal Logic: An Introduction, Cambridge University Press, Cambridge."},{"key":"143138_CR4","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1305\/ndjfl\/1093883402","volume":"22","author":"H. E. Hendry","year":"1981","unstructured":"HENDRY, H. E., 1981, \u2018Does IPC Have a Binary Indigenous Sheffer Function?\u2019, Notre Dame Journal of Formal Logic\n22, 183\u2013186.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"143138_CR5","volume-title":"An Introduction to Semigroup Theory","author":"J. M. Howie","year":"1976","unstructured":"HOWIE, J. M., 1976, An Introduction to Semigroup Theory, Academic Press, London."},{"key":"143138_CR6","volume-title":"A Companion to Modal Logic","author":"G. E. Hughes","year":"1984","unstructured":"HUGHES, G. E., and M. J. CRESSWELL, 1984, A Companion to Modal Logic, Methuen, London."},{"key":"143138_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511609206","volume-title":"A Structuralist Theory of Logic","author":"A. Koslow","year":"1992","unstructured":"KOSLOW, A., 1992, A Structuralist Theory of Logic, Cambridge University Press, Cambridge."},{"key":"143138_CR8","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. A. Kripke","year":"1963","unstructured":"KRIPKE, S. A., 1963, \u2018Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi\u2019, Zeitschrift f\u00fcr math. Logik und Grundlagen der Math.\n9, 67\u201396.","journal-title":"Zeitschrift f\u00fcr math. Logik und Grundlagen der Math."},{"key":"143138_CR9","volume-title":"American Philosophical Quarterly Monograph Series (#11)","author":"E. J. Lemmon","year":"1977","unstructured":"LEMMON, E. J., (with D. S. SCOTT), 1977, An Introduction to Modal Logic (ed. K. Segerberg), American Philosophical Quarterly Monograph Series (#11), Blackwell, Oxford."},{"key":"143138_CR10","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1002\/malq.19710170103","volume":"17","author":"B. Pahi","year":"1971","unstructured":"PAHI, B., 1971, \u2018Full Models and Restricted Extensions of Propositional Calculi\u2019, Zeitschrift f\u00fcr math. Logik und Grundlagen der Math.\n17, 5\u201310.","journal-title":"Zeitschrift f\u00fcr math. Logik und Grundlagen der Math."},{"key":"143138_CR11","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1016\/S0049-237X(08)70728-6","volume-title":"Procs. Third Scandinavian Logic Symposium","author":"H. Sahlqvist","year":"1975","unstructured":"SAHLQVIST, H., 1975, \u2018Completeness and Correspondence in the First and Second Order Semantics for Modal Logic\u2019, in S. Kanger (ed.) Procs. Third Scandinavian Logic Symposium, 110\u2013143 Uppsala 1973, North-Holland, Amsterdam."},{"key":"143138_CR12","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1305\/ndjfl\/1093636763","volume":"27","author":"K. Segerberg","year":"1986","unstructured":"SEGERBERG, K., 1986, \u2018Modal Logics with Functional Alternative Relations\u2019, Notre Dame Journal of Formal Logic\n27, 504\u2013522.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"143138_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8601-8","volume-title":"Self-Reference and Modal Logic","author":"C. Smory\u0143ski","year":"1985","unstructured":"Smory\u0143ski, C., 1985, Self-Reference and Modal Logic, Springer-Verlag, New York."},{"key":"143138_CR14","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/BF00247956","volume":"17","author":"T. Williamson","year":"1988","unstructured":"WILLIAMSON, T., 1988, \u2018Assertion, Denial, and Some Cancellation Rules in Modal Logic\u2019, Journal of Philosophical Logic\n17, 299\u2013318.","journal-title":"Journal of Philosophical Logic"},{"key":"143138_CR15","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1305\/ndjfl\/1093635422","volume":"31","author":"T. Williamson","year":"1990","unstructured":"WILLIAMSON, T., 1990, \u2018Verification, Falsification, and Cancellation in KT\u2019, Notre Dame Journal of Formal Logic\n31, 286\u2013290.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"143138_CR16","doi-asserted-by":"crossref","first-page":"297","DOI":"10.2307\/2274969","volume":"55","author":"T. Williamson","year":"1990","unstructured":"WILLIAMSON, T., 1990, \u2018Two Incomplete Anti-Realist Modal Epistemic Logics\u2019, Journal of Symbolic Logic\n55, 297\u2013314.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004995316790.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004995316790\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004995316790.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:23:20Z","timestamp":1754630600000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004995316790"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,7]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,7]]}},"alternative-id":["143138"],"URL":"https:\/\/doi.org\/10.1023\/a:1004995316790","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,7]]}}}