{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T22:35:05Z","timestamp":1725834905068},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319261539"},{"type":"electronic","value":"9783319261546"}],"license":[{"start":{"date-parts":[[2015,10,21]],"date-time":"2015-10-21T00:00:00Z","timestamp":1445385600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-26154-6_5","type":"book-chapter","created":{"date-parts":[[2015,10,22]],"date-time":"2015-10-22T07:25:56Z","timestamp":1445498756000},"page":"57-69","source":"Crossref","is-referenced-by-count":1,"title":["Specification of Underspecified Quantifiers via Question-Answering by the Theory of Acyclic Recursion"],"prefix":"10.1007","author":[{"given":"Roussanka","family":"Loukanova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,21]]},"reference":[{"key":"5_CR1","unstructured":"Gallin, D.: Intensional and Higher-Order Modal Logic. North-Holland (1975)"},{"issue":"3","key":"5_CR2","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1111\/j.1755-2567.1966.tb00600.x","volume":"32","author":"P Lindstr\u00f6m","year":"1966","unstructured":"Lindstr\u00f6m, P.: First order predicate logic with generalized quantifiers. Theoria 32(3), 186\u2013195 (1966)","journal-title":"Theoria"},{"key":"5_CR3","unstructured":"Loukanova, R.: $$\\gamma $$ -Reduction in Type Theory of Acyclic Recursion (to appear)"},{"key":"5_CR4","unstructured":"Loukanova, R.: Introduction to the Type Theory of Acyclic Recursion with Underspecified Types (to appear)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-319-02753-1_40","volume-title":"Brain and Health Informatics","author":"R Loukanova","year":"2013","unstructured":"Loukanova, R.: Algorithmic granularity with constraints. In: Imamura, K., Usui, S., Shirao, T., Kasamatsu, T., Schwabe, L., Zhong, N. (eds.) BHI 2013. LNCS, vol. 8211, pp. 399\u2013408. Springer, Heidelberg (2013)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Moschovakis, Y.N.: Sense and denotation as algorithm and value. In: Oikkonen, J., Vaananen, J. (eds.) Lecture Notes in Logic. Lecture Notes in Logic, No. 2, pp. 210\u2013249. Springer (1994)","DOI":"10.1017\/9781316718254.015"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s10988-005-6920-7","volume":"29","author":"YN Moschovakis","year":"2006","unstructured":"Moschovakis, Y.N.: A logical calculus of meaning and synonymy. Linguistics and Philosophy 29, 27\u201389 (2006)","journal-title":"Linguistics and Philosophy"},{"issue":"44","key":"5_CR8","doi-asserted-by":"crossref","first-page":"12","DOI":"10.4064\/fm-44-1-12-36","volume":"1","author":"A Mostowski","year":"1957","unstructured":"Mostowski, A.: On a generalization of quantifiers. Fundamenta Mathematicae 1(44), 12\u201336 (1957)","journal-title":"Fundamenta Mathematicae"},{"volume-title":"Formal Philosophy: Selected Papers of Richard Montague","year":"1974","key":"5_CR9","unstructured":"Thomason, R.H. (ed.): Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven (1974)"}],"container-title":["Advances in Intelligent Systems and Computing","Flexible Query Answering Systems 2015"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26154-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T22:43:19Z","timestamp":1718145799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26154-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,21]]},"ISBN":["9783319261539","9783319261546"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26154-6_5","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2015,10,21]]}}}