{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:44Z","timestamp":1761611144477},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1985,11,1]],"date-time":"1985-11-01T00:00:00Z","timestamp":499651200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1985,11]]},"DOI":"10.1007\/bf00649480","type":"journal-article","created":{"date-parts":[[2004,11,29]],"date-time":"2004-11-29T13:42:19Z","timestamp":1101735739000},"page":"351-358","source":"Crossref","is-referenced-by-count":24,"title":["An incomplete system of modal logic"],"prefix":"10.1007","volume":"14","author":[{"given":"George","family":"Boolos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Sambin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"For terminology, nomenclature and notations not defined in this paper, see G. Boolos,The Unprovability of Consistency, Cambridge University Press, 1979, where the system GL is consideredin extenso, along with several other systems of modal propositional logic."},{"issue":"6","key":"CR2","first-page":"359","volume":"1-B","author":"R. Magari","year":"1982","unstructured":"R. Magari, ?Primi risultati sulla variet\ufffd di Boolos?,Bollentino U.M.I. (6)1-B (1982), 359?367.","journal-title":"Bollentino U.M.I."},{"key":"CR3","first-page":"457","volume":"3","author":"David Lewis","year":"1974","unstructured":"David Lewis, ?Intensional logics without iterative axioms?,Journal of Philosophical Logic 3 (1974), 457?466.","journal-title":"Journal of Philosophical Logic"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1111\/j.1755-2567.1978.tb00830.x","volume":"44","author":"J. F. A. K. Benthem van","year":"1978","unstructured":"J. F. A. K. van Benthem, ?Two simple incomplete modal logics?,Theoria 44 (1978), 25?37, and ?Syntactic aspects of modal incompleteness theorems?,Theoria 44 (1979), 63?77.","journal-title":"Theoria"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1017\/S0022481200100076","volume":"17","author":"L. Henkin","year":"1952","unstructured":"L. Henkin, ?A problem concerning provability?,Journal of Symbolic Logic 17 (1952), 160.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00649480.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00649480\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00649480","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,16]],"date-time":"2024-01-16T01:49:40Z","timestamp":1705369780000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00649480"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,11]]},"references-count":5,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1985,11]]}},"alternative-id":["BF00649480"],"URL":"https:\/\/doi.org\/10.1007\/bf00649480","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,11]]}}}