{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T09:39:40Z","timestamp":1698140380307},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,2,28]],"date-time":"2008-02-28T00:00:00Z","timestamp":1204156800000},"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":[[2008,3]]},"DOI":"10.1007\/s11225-008-9102-0","type":"journal-article","created":{"date-parts":[[2008,2,29]],"date-time":"2008-02-29T16:36:46Z","timestamp":1204303006000},"page":"215-231","source":"Crossref","is-referenced-by-count":10,"title":["Three-Valued Temporal Logic Q t and Future Contingents"],"prefix":"10.1007","volume":"88","author":[{"given":"Seiki","family":"Akama","sequence":"first","affiliation":[]},{"given":"Yasunori","family":"Nagata","sequence":"additional","affiliation":[]},{"given":"Chikatoshi","family":"Yamada","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,2,28]]},"reference":[{"key":"9102_CR1","doi-asserted-by":"crossref","unstructured":"Akama, S., and Nagata, Y., \u2018On Prior\u2019s three-valued modal logic Q\u2019, Proc. of ISMVL\u2019 2005, 2005, pp. 14\u201319.","DOI":"10.1109\/ISMVL.2005.33"},{"key":"9102_CR2","doi-asserted-by":"crossref","unstructured":"Akama, S., Nagata, Y., and Yamada, C., \u2018A three-valued temporal logic for future contingents\u2019, to appear in Logique et Analyse, 2007.","DOI":"10.1007\/s11225-008-9102-0"},{"key":"9102_CR3","doi-asserted-by":"crossref","unstructured":"Anscombe, G., \u2018Aristotle and the sea-battle, De Interpretatione Chapter IX\u2019, Mind LXV: 257, 1956, pp. 1\u201315.","DOI":"10.1093\/mind\/65.1.1"},{"key":"9102_CR4","doi-asserted-by":"crossref","unstructured":"Aristotle, De Interpretatione, translated by E.M. Edghill, W.D. Ross (ed.), The Works of Aristotle, Oxford University Press, Oxford, 1963.","DOI":"10.1093\/oseo\/instance.00258581"},{"key":"9102_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-009-5203-4_1","volume-title":"Handbook of Philosophical Logic Vol III.","author":"P. Blamey","year":"1986","unstructured":"Blamey P. (1986). \u2018Partial logic\u2019. In: Gabbay D., Guenthner F. (eds) Handbook of Philosophical Logic Vol III. Reidel, Dordrecht, pp. 1\u201370"},{"key":"9102_CR6","doi-asserted-by":"crossref","unstructured":"Bruns, G. and Godefroid, P., \u2018Generalized model checking: reasoning about partial state spaces\u2019, Proc. of CONCUR\u20192000, Springer-Verlag, Berlin, 2000, pp. 168\u2013182.","DOI":"10.1007\/3-540-44618-4_14"},{"key":"9102_CR7","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1305\/ndjfl\/1093957880","volume":"5","author":"R.A. Bull","year":"1964","unstructured":"Bull R.A. (1964). \u2018An axiomatization of Prior\u2019s modal calculus Q\u2019, Notre Dame Journal of Formal Logic. 5: 211\u2013214","journal-title":"Notre Dame Journal of Formal Logic."},{"key":"9102_CR8","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1305\/ndjfl\/1093958154","volume":"6","author":"R.A. Bull","year":"1965","unstructured":"Bull R.A. (1965). \u2018A modal extension of intuitionistic logic\u2019. Notre Dame Journal of Formal Logic. 6: 142\u2013146","journal-title":"Notre Dame Journal of Formal Logic."},{"key":"9102_CR9","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1305\/ndjfl\/1038949539","volume":"40","author":"F. Correia","year":"1999","unstructured":"Correia F. (1999). \u2019Adequacy results from some Priorean modal logic\u2019. Notre Dame Journal of Formal Logic. 40: 236\u2013249","journal-title":"Notre Dame Journal of Formal Logic."},{"key":"9102_CR10","doi-asserted-by":"crossref","first-page":"166","DOI":"10.2307\/2273953","volume":"51","author":"W. Ewald","year":"1986","unstructured":"Ewald W. (1986). \u2018Intuitionistic tense and modal logic\u2019. The Journal of Symbolic Logic. 51: 166\u2013179","journal-title":"The Journal of Symbolic Logic."},{"key":"9102_CR11","doi-asserted-by":"crossref","first-page":"481","DOI":"10.2307\/2024549","volume":"63","author":"B. Fraassen van","year":"1966","unstructured":"van Fraassen B.(1966). \u2018Singular terms, truth-value gaps, and free logic\u2019. Journal of Philosophy. 63: 481\u2013495","journal-title":"Journal of Philosophy."},{"key":"9102_CR12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511812866","volume-title":"Philosophy of Logics","author":"S. Haack","year":"1978","unstructured":"Haack S. (1978). Philosophy of Logics, Cambridge University Press, Cambridge"},{"key":"9102_CR13","unstructured":"Lukasiewicz, J., \u2018On 3-valued logic\u2019, 1920, S.McCall (ed.), Polish Logic, Oxford University Press, Oxford, 1967, pp. 16\u201318."},{"key":"9102_CR14","volume-title":"Time and Modality","author":"A.N. Prior","year":"1957","unstructured":"Prior A.N.(1957). Time and Modality. Oxford University Press, Oxford."},{"key":"9102_CR15","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"A.N. Prior","year":"1967","unstructured":"Prior A.N.(1967). Past, Present and Future. Clarendon Press, Oxford."},{"key":"9102_CR16","unstructured":"Simpson, A., The Proof Theory and Semantics of Intuitionistic Modal Logic, Ph.D. Thesis, Edinburgh, 1993."},{"key":"9102_CR17","first-page":"296","volume":"11","author":"D. Surowik","year":"2005","unstructured":"Surowik D.(2005). \u2018The different methods of rejection of the thesis of determinism in temporal logical systems\u2019. Bulletin of Symbolic Logic. 11: 296\u2013297","journal-title":"Bulletin of Symbolic Logic."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-008-9102-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-008-9102-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-008-9102-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,16]],"date-time":"2023-05-16T19:09:35Z","timestamp":1684264175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-008-9102-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,2,28]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,3]]}},"alternative-id":["9102"],"URL":"https:\/\/doi.org\/10.1007\/s11225-008-9102-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,2,28]]}}}