{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:55:56Z","timestamp":1742954156524,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319100609"},{"type":"electronic","value":"9783319100616"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10061-6_11","type":"book-chapter","created":{"date-parts":[[2014,11,5]],"date-time":"2014-11-05T11:34:11Z","timestamp":1415187251000},"page":"154-164","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["First-Order Conditional Logic and Neighborhood-Sheaf Semantics for Analysis of Conditional Sentences"],"prefix":"10.1007","author":[{"given":"Hanako","family":"Yamamoto","sequence":"first","affiliation":[]},{"given":"Daisuke","family":"Bekki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,11,6]]},"reference":[{"issue":"2","key":"11_CR1","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s11225-006-9010-0","volume":"84","author":"H Arl\u00f3-Costa","year":"2006","unstructured":"Arl\u00f3-Costa, H., Pacuit, E.: First-order classical modal logic. Stud. Log. 84(2), 171\u2013210 (2006)","journal-title":"Stud. Log."},{"key":"11_CR2","first-page":"146","volume":"1","author":"S Awodey","year":"2008","unstructured":"Awodey, S., Kishida, K.: Topology and modality: the topological interpretation of first-order modal logic. Rev. Symbolic Log. 1, 146\u2013166 (2008)","journal-title":"Rev. Symbolic Log."},{"key":"11_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic : An Introduction","author":"B Chellas","year":"1980","unstructured":"Chellas, B.: Modal Logic : An Introduction. Cambridge University Press, Cambridge (1980)"},{"key":"11_CR4","volume-title":"Topoi: The Categorial Analysis of Logic","author":"R Goldblatt","year":"2006","unstructured":"Goldblatt, R.: Topoi: The Categorial Analysis of Logic. Dover Publications, Mineola (2006)"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.entcs.2011.10.011","volume":"278","author":"K Kishida","year":"2011","unstructured":"Kishida, K.: Neighborhood-sheaf semantics for first-order modal logic. Electron. Notes Theor. Comput. Sci. 278, 129\u2013143 (2011)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"11_CR6","first-page":"83","volume":"16","author":"S Kripke","year":"1963","unstructured":"Kripke, S.: Semantical considerations on modal logic. Acta Philosophica Fennica 16, 83\u201394 (1963)","journal-title":"Acta Philosophica Fennica"},{"key":"11_CR7","volume-title":"Counterfactuals","author":"DK Lewis","year":"1973","unstructured":"Lewis, D.K.: Counterfactuals. Blackwell, Oxford (1973)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Lewis, D.K.: Counterfactuals and comparative possibility. Journal of Philosophical Logic 2 (1973).","DOI":"10.1007\/BF00262950"},{"issue":"3","key":"11_CR9","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","volume":"36","author":"R Montague","year":"1970","unstructured":"Montague, R.: Universal grammar. Theoria 36(3), 373\u2013398 (1970)","journal-title":"Theoria"},{"key":"11_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801174","volume-title":"An Introduction to Non-classical Logic: From If to Is. Cambridge Introductions to Philosophy","author":"G Priest","year":"2008","unstructured":"Priest, G.: An Introduction to Non-classical Logic: From If to Is. Cambridge Introductions to Philosophy, 2nd edn. Cambridge University Press, Cambridge (2008)","edition":"2"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-94-010-3272-8_7","volume-title":"Philosophical Problems in Logic: Some Recent Developments","author":"D Scott","year":"1970","unstructured":"Scott, D.: Advice on modal logic. In: Lambert, K. (ed.) Philosophical Problems in Logic: Some Recent Developments, pp. 143\u2013173. Reidel, Dordrecht (1970)"},{"key":"11_CR12","series-title":"American Philosophical Quanterly Monograph Series","volume-title":"A Theory of Conditionals, in Studies in Logical Theory","author":"R Stalnaker","year":"1968","unstructured":"Stalnaker, R.: A Theory of Conditionals, in Studies in Logical Theory. American Philosophical Quanterly Monograph Series, vol. 2. Basil Blackwell, Oxford (1968)"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10061-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,9]],"date-time":"2021-08-09T17:33:22Z","timestamp":1628530402000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-10061-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319100609","9783319100616"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10061-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"6 November 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}