{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T05:40:10Z","timestamp":1718084410998},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2015,9,16]],"date-time":"2015-09-16T00:00:00Z","timestamp":1442361600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1007\/s11229-015-0905-z","type":"journal-article","created":{"date-parts":[[2015,9,16]],"date-time":"2015-09-16T10:08:15Z","timestamp":1442398095000},"page":"3639-3649","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Partial and paraconsistent approaches to future contingents in tense logic"],"prefix":"10.1007","volume":"193","author":[{"given":"Seiki","family":"Akama","sequence":"first","affiliation":[]},{"given":"Tetsuya","family":"Murai","sequence":"additional","affiliation":[]},{"given":"Yasuo","family":"Kudo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,16]]},"reference":[{"key":"905_CR1","doi-asserted-by":"crossref","unstructured":"Akama, S., Murai, T., & Kudo, Y. (2010). Uncertainty in future: A paraconsistent approach. In V. H. Huynh (Ed.), Integrated management and applications (pp. 335\u2013342). Advances in intelligent and soft computing Berlin: Springer.","DOI":"10.1007\/978-3-642-11960-6_31"},{"key":"905_CR2","first-page":"19","volume":"213","author":"S Akama","year":"2011","unstructured":"Akama, S., Murai, T., & Miyamoto, S. (2011). A three-valued modal tense logic for the Master Argument. Logique et Analyse, 213, 19\u201330.","journal-title":"Logique et Analyse"},{"key":"905_CR3","doi-asserted-by":"crossref","unstructured":"Akama, S. and Nagata, Y. 2005. On Prior\u2019s three-valued modal logic Q. In Proceedings of ISMVL\u20192005 (pp. 14\u201319)","DOI":"10.1109\/ISMVL.2005.33"},{"key":"905_CR4","first-page":"99","volume":"198","author":"S Akama","year":"2007","unstructured":"Akama, S., Nagata, Y., & Yamada, C. (2007). A three-valued temporal logic for future contingents. Logique et Analyse, 198, 99\u2013111.","journal-title":"Logique et Analyse"},{"key":"905_CR5","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s11225-008-9102-0","volume":"88","author":"S Akama","year":"2008","unstructured":"Akama, S., Nagata, Y., & Yamada, C. (2008). Three-valued temporal logic $$Q_t$$ Q t and future contingents. Studia Logica, 88, 215\u2013231.","journal-title":"Studia Logica"},{"key":"905_CR6","unstructured":"Aristotle. (1963). De Interpretatione (E.M. Edghill & W.D. Ross, Trans.) The works of Aristotle. Oxford: Oxford University Press"},{"key":"905_CR7","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1080\/00048402.2011.608370","volume":"90","author":"JC Beall","year":"2012","unstructured":"Beall, J. C. (2012). Future contradictions. Australasian Journal of Philosophy, 90, 547\u2013557.","journal-title":"Australasian Journal of Philosophy"},{"key":"905_CR8","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1093\/jigpal\/7.1.27","volume":"7","author":"P Blackburn","year":"1999","unstructured":"Blackburn, P., & Tzakova, M. (1999). Hybrid language and temporal logic. Logic Journal of the IGPL, 7, 27\u201354.","journal-title":"Logic Journal of the IGPL"},{"key":"905_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9345-8","volume-title":"The tensed theory of time","author":"W Craig","year":"2000","unstructured":"Craig, W. (2000). The tensed theory of time. Dordrecht: Kluwer."},{"key":"905_CR10","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"NCA Costa da","year":"1974","unstructured":"da Costa, N. C. A. (1974). On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15, 497\u2013510.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"905_CR11","first-page":"31","volume-title":"Oxford studies of ancient philosophy","author":"D Frede","year":"1985","unstructured":"Frede, D. (1985). The sea-battle reconsidered: A defense of the traditional interpretation. In J. Annas (Ed.), Oxford studies of ancient philosophy (Vol. 3, pp. 31\u201387). Oxford: Clarendon Press."},{"key":"905_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0013976","volume-title":"Temporal logic: Mathematical and computational aspects","author":"D Gabbay","year":"1994","unstructured":"Gabbay, D., Hodkinson, I., & Reynolds, M. (1994). Temporal logic: Mathematical and computational aspects (Vol. 1). Oxford: Oxford University Press."},{"key":"905_CR13","doi-asserted-by":"crossref","first-page":"461","DOI":"10.2307\/2183302","volume":"73","author":"J Hintikka","year":"1964","unstructured":"Hintikka, J. (1964). The once and future sea fight: Aristotle\u2019s discussion of future contingents in de Interpretatione IX. Philosophical Review, 73, 461\u2013492.","journal-title":"Philosophical Review"},{"key":"905_CR14","first-page":"395","volume":"185\u2013188","author":"L Humberstone","year":"2004","unstructured":"Humberstone, L. (2004). Yet another \u201cchoice of primitives\u201d warning: normal modal logics. Logique et Analyse, 185\u2013188, 395\u2013407.","journal-title":"Logique et Analyse"},{"key":"905_CR15","first-page":"55","volume":"1","author":"S Jaskowski","year":"1948","unstructured":"Jaskowski, S. (1948). Propositional calculus for contradictory deductive systems (in Polish). Studia Societatis Scientiarun Torunesis Sectio A, 1, 55\u201377.","journal-title":"Studia Societatis Scientiarun Torunesis Sectio A"},{"key":"905_CR16","first-page":"16","volume-title":"Polish logic","author":"J \u0141ukasiewicz","year":"1967","unstructured":"\u0141ukasiewicz, J. (1967). On 3-valued logic, 1920. In S. McCall (Ed.), Polish logic (pp. 16\u201318). Oxford: Oxford University Press."},{"key":"905_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-3219-2","volume-title":"Tense logic","author":"R McArthur","year":"1976","unstructured":"McArthur, R. (1976). Tense logic. Dordrecht: Reidel."},{"key":"905_CR18","volume-title":"The ontology of time","author":"L Oaklander","year":"2004","unstructured":"Oaklander, L. (2004). The ontology of time. Buffalo, NY: Prometheus Books."},{"key":"905_CR19","unstructured":"\u00d8hrsr\u00f8m, P. & Hasle, P. 2011. Future contingents, The Stanford encyclopedia of philosophy. In Zalta E (ed.), http:\/\/plato.stanford.edu\/archives\/sum2011\/entries\/future-contingents"},{"key":"905_CR20","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/s11229-011-9944-2","volume":"188","author":"T Ploug","year":"2012","unstructured":"Ploug, T., & \u00d8hrsr\u00f8m, P. (2012). Branching time, indeterminism and tense logic. Synthese, 188, 367\u2013379.","journal-title":"Synthese"},{"key":"905_CR21","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF00370347","volume":"41","author":"G Priest","year":"1982","unstructured":"Priest, G. (1982). To be and not to be: dialectical tense logic. Studia Logica, 41, 63\u201376.","journal-title":"Studia Logica"},{"key":"905_CR22","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199263301.001.0001","volume-title":"In contradiction","author":"G Priest","year":"2006","unstructured":"Priest, G. (2006). In contradiction (2nd ed.). Oxford: Oxford University Press.","edition":"2"},{"key":"905_CR23","doi-asserted-by":"crossref","first-page":"317","DOI":"10.2307\/2217099","volume":"3","author":"AN Prior","year":"1953","unstructured":"Prior, A. N. (1953). Three-valued logic and future contingents. Philosophical Quarterly, 3, 317\u201326.","journal-title":"Philosophical Quarterly"},{"key":"905_CR24","volume-title":"Time and modality","author":"AN Prior","year":"1957","unstructured":"Prior, A. N. (1957). Time and modality. Oxford: Oxford University Press."},{"key":"905_CR25","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, present and future","author":"AN Prior","year":"1967","unstructured":"Prior, A. N. (1967). Past, present and future. Oxford: Clarendon Press."},{"key":"905_CR26","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195082272.001.0001","volume-title":"Language and time","author":"Q Smith","year":"1993","unstructured":"Smith, Q. (1993). Language and time. Oxford: Oxford University Press."},{"key":"905_CR27","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1111\/j.1755-2567.1970.tb00427.x","volume":"36","author":"RH Thomason","year":"1970","unstructured":"Thomason, R. H. (1970). Indeterminist time and truth-value gaps. Theoria, 36, 264\u2013811.","journal-title":"Theoria"},{"key":"905_CR28","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2272558","volume":"37","author":"SK Thomason","year":"1972","unstructured":"Thomason, S. K. (1972). Semantic analysis of tense logic. Journal of Symbolic Logic, 37, 150\u2013158.","journal-title":"Journal of Symbolic Logic"},{"key":"905_CR29","doi-asserted-by":"crossref","first-page":"481","DOI":"10.2307\/2024549","volume":"63","author":"B Fraassen van","year":"1966","unstructured":"van Fraassen, B. (1966). Singular terms, truth-value gaps, and free logic. Journal of Philosophy, 63, 481\u2013495.","journal-title":"Journal of Philosophy"},{"key":"905_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9243-7","volume-title":"An essay in universal semantics","author":"A Varzi","year":"1999","unstructured":"Varzi, A. (1999). An essay in universal semantics. Berlin: Springer."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0905-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0905-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0905-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0905-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T05:00:56Z","timestamp":1718082056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0905-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,16]]},"references-count":30,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2016,11]]}},"alternative-id":["905"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0905-z","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9,16]]}}}