{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,29]],"date-time":"2023-09-29T23:22:27Z","timestamp":1696029747606},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,7,12]],"date-time":"2012-07-12T00:00:00Z","timestamp":1342051200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s11225-012-9395-x","type":"journal-article","created":{"date-parts":[[2012,7,11]],"date-time":"2012-07-11T16:20:07Z","timestamp":1342023607000},"page":"487-503","source":"Crossref","is-referenced-by-count":11,"title":["Actuality in Propositional Modal Logic"],"prefix":"10.1007","volume":"101","author":[{"given":"Allen P.","family":"Hazen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin G.","family":"Rin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai F.","family":"Wehmeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,7,12]]},"reference":[{"key":"9395_CR1","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1023\/A:1015726824270","volume":"31","author":"P. Blackburn","year":"2002","unstructured":"Blackburn P., Marx M.: Remarks on Gregory\u2019s \u201cactually\u201d operator. Journal of Philosophical Logic 31, 281\u2013288 (2002)","journal-title":"Journal of Philosophical Logic"},{"key":"9395_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic\u2014An Introduction","author":"B. F. Chellas","year":"1980","unstructured":"Chellas B. F.: Modal Logic\u2014An Introduction. Cambridge University Press, Cambridge (1980)"},{"key":"9395_CR3","first-page":"11","volume":"8","author":"J. N. Crossley","year":"1977","unstructured":"Crossley J. N., Humberstone L.: The logic of \u201cactually\u201d. Reports on Mathematical Logic 8, 11\u201329 (1977)","journal-title":"Reports on Mathematical Logic"},{"key":"9395_CR4","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1023\/A:1017579410231","volume":"30","author":"D. Gregory","year":"2001","unstructured":"Gregory D.: Completeness and decidability results for some propositional modal logics containing \u201cactually\u201d operators. Journal of Philosophical Logic 30, 57\u201378 (2001)","journal-title":"Journal of Philosophical Logic"},{"key":"9395_CR5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00263656","volume":"5","author":"A. P. Hazen","year":"1976","unstructured":"Hazen A. P.: Expressive completeness in modal language. Journal of Philosophical Logic 5, 25\u201346 (1976)","journal-title":"Journal of Philosophical Logic"},{"key":"9395_CR6","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1305\/ndjfl\/1093888509","volume":"4","author":"A. P. Hazen","year":"1978","unstructured":"Hazen A. P.: The eliminability of the actuality operator in propositional modal logic. Notre Dame Journal of Formal Logic 4, 617\u2013622 (1978)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9395_CR7","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S.A. Kripke","year":"1963","unstructured":"Kripke S.A.: Semantical analysis of modal logic I: Normal modal propositional calculi. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 9, 67\u201396 (1963)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"9395_CR8","doi-asserted-by":"crossref","unstructured":"Kripke, S. A., Semantical analysis of modal logic II: Non-normal modal propositional calculi, in J. W. Addison, L. Henkin, and A. Tarski (eds.), The Theory of Models, North-Holland, Amsterdam, 1965, pp. 206\u2013220.","DOI":"10.1016\/B978-0-7204-2233-7.50026-5"},{"key":"9395_CR9","unstructured":"Segerberg, K., An Essay in Classical Modal Logic, The Philosophical Society, University of Uppsala, 1971."},{"key":"9395_CR10","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1023\/A:1017915417449","volume":"30","author":"Y. Stephanou","year":"2001","unstructured":"Stephanou Y.: Indexed actuality. Journal of Philosophical Logic 30, 355\u2013393 (2001)","journal-title":"Journal of Philosophical Logic"},{"key":"9395_CR11","doi-asserted-by":"crossref","unstructured":"Wehmeier, K. F., World travelling and mood swings, in B. L\u00f6we, T. R\u00e4sch, and W. Malzkorn (eds.), Foundations of the Formal Sciences II, Kluwer, Dordrecht, 2003, pp. 257\u2013260.","DOI":"10.1007\/978-94-017-0395-6_18"},{"key":"9395_CR12","unstructured":"Williamson, T., Iterated attitudes, in T. Smiley (ed.), Philosophical Logic (= Proceedings of the British Academy 95), Oxford University Press, Oxford, 1998, pp. 85\u2013133."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9395-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-012-9395-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9395-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,30]],"date-time":"2019-06-30T20:58:47Z","timestamp":1561928327000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-012-9395-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,12]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["9395"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9395-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,12]]}}}