{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T05:24:46Z","timestamp":1736400286986,"version":"3.32.0"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,2,1]],"date-time":"2006-02-01T00:00:00Z","timestamp":1138752000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2006,2]]},"DOI":"10.1007\/s11229-004-6293-4","type":"journal-article","created":{"date-parts":[[2006,4,20]],"date-time":"2006-04-20T08:36:49Z","timestamp":1145522209000},"page":"659-673","source":"Crossref","is-referenced-by-count":5,"title":["A Proof-theoretic View of Necessity"],"prefix":"10.1007","volume":"148","author":[{"given":"Reinhard","family":"Kahle","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6293_CR1","unstructured":"Anderson, A. and N. Belnap: 1975, Entailment, Volume I. Princeton University Press."},{"key":"6293_CR2","unstructured":"Anderson, A., N. Belnap, and M. Dunn: 1992, Entailment, Volume II. Princeton University Press."},{"key":"6293_CR3","unstructured":"Anderson, C. A.: 1995, \u2018Proposition, State of Affairs\u2019, in J. Kim and E. Sosa (eds.), A Companion to Metaphysics, Blackwell, pp. 419\u2013421."},{"issue":"1\u20133","key":"6293_CR4","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J. Alferes","year":"2000","journal-title":"Journal of Logic Programming."},{"key":"6293_CR5","doi-asserted-by":"crossref","unstructured":"Bull, R. and K. Segerberg: 1984, \u2018Basic Modal Logic\u2019, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Volume II, Kluwer, pp. 1\u201388.","DOI":"10.1007\/978-94-009-6259-0_1"},{"key":"6293_CR6","doi-asserted-by":"crossref","unstructured":"Chellas, B.: 1980, Modal Logic: An Introduction, Cambridge University Press.","DOI":"10.1017\/CBO9780511621192"},{"issue":"2","key":"6293_CR7","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1023\/A:1015273407895","volume":"31","author":"B.J. Copeland","year":"2002","journal-title":"Journal of Philosophical Logic."},{"key":"6293_CR8","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","journal-title":"Artificial Intelligence."},{"key":"6293_CR9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","journal-title":"Artificial Intelligence."},{"key":"6293_CR10","doi-asserted-by":"crossref","unstructured":"Facchinetti, R., M. Krug, and F. Palmer (eds.): 2003, Modality in Contemporary English, de Gruyter.","DOI":"10.1515\/9783110895339"},{"key":"6293_CR11","doi-asserted-by":"crossref","unstructured":"Fagin, R., J. Halpern, Y. Moses, and M. Vardi: 1995, Reasoning about Knowledge, MIT Press.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"6293_CR12","unstructured":"Forster, Th.: 200x, \u2018The Modal Aether\u2019, in R. Kahle (ed.), Intensionality, A K Peters."},{"key":"6293_CR13","unstructured":"Frege, G.: 1892, \u2018\u00dcber Sinn und Bedeutung\u2019, Zeitschrift f\u00fcr Philosophie und philosophische Kritik (NF 100), 25\u201350."},{"key":"6293_CR14","unstructured":"Frege, G.: 1952, \u2018Sense and Meaning\u2019, in P. Geach and M. Black (eds.), Translations from the Philosophical Writings of Gottlob Frege. Basil Blackwell, 1952. English translation of (Frege, 1892)."},{"key":"6293_CR15","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF00284974","volume":"20","author":"A. Fuhrmann","year":"1991","journal-title":"Journal of Philosophical Logic."},{"key":"6293_CR16","doi-asserted-by":"crossref","unstructured":"Hansson, S.O.: 1998, \u2018Revision of Belief Sets and Belief Bases\u2019, in D. Dubois and H. Prade (eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 3: Belief Change, Kluwer pp. 16\u201375.","DOI":"10.1007\/978-94-011-5054-5_2"},{"volume-title":"An Introduction to Modal Logic","year":"1968","author":"G. Hughes","key":"6293_CR17"},{"key":"6293_CR18","doi-asserted-by":"crossref","unstructured":"Kahle, R.: 2002, \u2018Structured Belief Bases\u2019, Logical and Logical Philosophy 10, 45\u201358. Special issue of the Workshop LLP held spring 2001\u00a0at the TU Dresden.","DOI":"10.12775\/LLP.2002.003"},{"key":"6293_CR19","unstructured":"Kracht, M.: 1999, Tools and Techniques in Modal Logic, Volume 142 of Studies in Logic and the Foundations of Mathematics, Elsevier."},{"key":"6293_CR20","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. Kripke","year":"1963","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik."},{"volume-title":"Symbolic logic","year":"1932","author":"C. Lewis","key":"6293_CR21"},{"key":"6293_CR22","doi-asserted-by":"crossref","unstructured":"Moschovakis, Y.: 1994, \u2018Sense and Denotation as Algorithm and Value\u2019, in J. Oikkonen and J. V\u00e4\u00e4n\u00e4nen (eds), Logic Colloquium \u201990, Volume 2 of Lecture Notes in Logic, Springer, pp. 210\u2013249.","DOI":"10.1017\/9781316718254.015"},{"key":"6293_CR23","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/BF01049408","volume":"23","author":"A. Nayak","year":"1994","journal-title":"Journal of Philosophical Logic."},{"key":"6293_CR24","doi-asserted-by":"crossref","unstructured":"Nebel, B.: 1992, \u2018Syntax-based Approaches to Belief Revision\u2019, in P. G\u00e4rdenfors (ed.), Belief Revision, Cambridge University Press, pp. 52\u201388.","DOI":"10.1017\/CBO9780511526664.003"},{"key":"6293_CR25","unstructured":"Russell, S. and P. Norvig: 1995, Artificial Intelligence \u2013 A Modern Approach, Prentice Hall."},{"key":"6293_CR26","unstructured":"Stalnaker, R.: 1995, \u2018Modalities and Possible Worlds\u2019, in J. Kim and E. Sosa (eds.), A Companion to Metaphysics, Blackwell, pp. 333\u2013337."},{"key":"6293_CR27","unstructured":"Wehmeier, K.: 200x, \u2018Descriptions in the Mood\u2019, to appear in R. Kahle (ed.), Intensionality, AK Peters."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-004-6293-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-004-6293-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-004-6293-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T14:24:20Z","timestamp":1736346260000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-004-6293-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,2]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,2]]}},"alternative-id":["6293"],"URL":"https:\/\/doi.org\/10.1007\/s11229-004-6293-4","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2006,2]]}}}