{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:24:59Z","timestamp":1761978299337,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415777"},{"type":"electronic","value":"9783642415784"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41578-4_7","type":"book-chapter","created":{"date-parts":[[2013,10,12]],"date-time":"2013-10-12T07:53:43Z","timestamp":1381564423000},"page":"108-132","source":"Crossref","is-referenced-by-count":3,"title":["A Predicative Operator and Underspecification by the Type Theory of Acyclic Recursion"],"prefix":"10.1007","author":[{"given":"Roussanka","family":"Loukanova","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Barwise, J., Perry, J.: Situations and Attitudes. MIT Press, Cambridge (1983), republished as [2]"},{"key":"7_CR2","series-title":"The Hume Series","volume-title":"Situations and Attitudes","author":"J. Barwise","year":"1999","unstructured":"Barwise, J., Perry, J.: Situations and Attitudes. The Hume Series. CSLI Publications, Stanford (1999)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/s11168-006-6327-9","volume":"3","author":"A. Copestake","year":"2005","unstructured":"Copestake, A., Flickinger, D., Pollard, C., Sag, I.: Minimal recursion semantics: an introduction. Research on Language and Computation\u00a03, 281\u2013332 (2005)","journal-title":"Research on Language and Computation"},{"key":"7_CR4","unstructured":"Gallin, D.: Intensional and Higher-Order Modal Logic. North-Holland (1975)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Hamm, F., Van Lambalgen, M.: Moschovakis\u2019 notion of meaning as applied to linguistics. Logic Colloqium\u00a01 (2004)","DOI":"10.1201\/9781439865736-10"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Hurkens, A.J.C., McArthur, M., Moschovakis, Y.N., Moss, L.S., Whitney, G.T.: The logic of recursive equations. Journal of Symbolic Logic, 451\u2013478 (1998)","DOI":"10.2307\/2586843"},{"key":"7_CR7","series-title":"Logics for linguistic structures","first-page":"57","volume-title":"Two aspects of situated meaning","author":"E. Kalyvianaki","year":"2008","unstructured":"Kalyvianaki, E., Moschovakis, Y.N.: Two aspects of situated meaning. Logics for linguistic structures, pp. 57\u201386. Mouton de Gruyter, Berlin (2008)"},{"key":"7_CR8","first-page":"73","volume-title":"Workshop on New Directions in Type-Theoretic Grammars, ESSLLI 2007","author":"R. Loukanova","year":"2007","unstructured":"Loukanova, R.: Typed lambda language of acyclic recursion and scope underspecification. In: Muskens, R. (ed.) Workshop on New Directions in Type-Theoretic Grammars, ESSLLI 2007, pp. 73\u201389. The Association for Logic, Language and Information, Dublin (2007)"},{"key":"7_CR9","first-page":"200","volume-title":"Biology, Computation and Linguistics \u2014 New Interdisciplinary Paradigms, Frontiers in Artificial Intelligence and Applications","author":"R. Loukanova","year":"2011","unstructured":"Loukanova, R.: From Montague\u2019s rules of quantification to minimal recursion semantics and the language of acyclic recursion. In: Bel-Enguix, G., Dahl, V., Jim\u00e9nez-L\u00f3pez, M.D. (eds.) Biology, Computation and Linguistics \u2014 New Interdisciplinary Paradigms, Frontiers in Artificial Intelligence and Applications, vol.\u00a0228, pp. 200\u2013214. IOS Press, Amsterdam (2011)"},{"key":"7_CR10","series-title":"AISC","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-19917-2_32","volume-title":"Highlights in Practical Applications of Agents and Multiagent Systems","author":"R. Loukanova","year":"2011","unstructured":"Loukanova, R.: Modeling context information for computational semantics with the language of acyclic recursion. In: P\u00e9rez, J.B., Corchado, J.M., Moreno, M.N., Juli\u00e1n, V., Mathieu, P., Canada-Bago, J., Ortega, A., Caballero, A.F. (eds.) Highlights in Practical Applications of Agents and Multiagent Systems. AISC, vol.\u00a089, pp. 265\u2013274. Springer, Heidelberg (2011)"},{"key":"7_CR11","unstructured":"Loukanova, R.: Reference, co-reference and antecedent-anaphora in the type theory of acyclic recursion. In: Bel-Enguix, G., Jim\u00e9nez-L\u00f3pez, M.D. (eds.) Bio-Inspired Models for Natural and Formal Languages, pp. 81\u2013102. Cambridge Scholars Publishing (2011)"},{"key":"7_CR12","unstructured":"Loukanova, R.: Semantics with the language of acyclic recursion in constraint-based grammar. In: Bel-Enguix, G., Jim\u00e9nez-L\u00f3pez, M.D. (eds.) Bio-Inspired Models for Natural and Formal Languages, pp. 103\u2013134. Cambridge Scholars Publishing (2011)"},{"key":"7_CR13","first-page":"215","volume-title":"Biology, Computation and Linguistics \u2014 New Interdisciplinary Paradigms, Frontiers in Artificial Intelligence and Applications","author":"R. Loukanova","year":"2011","unstructured":"Loukanova, R.: Syntax-semantics interface for lexical inflection with the language of acyclic recursion. In: Bel-Enguix, G., Dahl, V., Jim\u00e9nez-L\u00f3pez, M.D. (eds.) Biology, Computation and Linguistics \u2014 New Interdisciplinary Paradigms, Frontiers in Artificial Intelligence and Applications, vol.\u00a0228, pp. 215\u2013236. IOS Press, Amsterdam (2011)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Loukanova, R.: Algorithmic semantics of ambiguous modifiers by the type theory of acyclic recursion. In: The IEEE\/WIC\/ACM International Conference on Web Intelligence and Intelligent Agent Technology \u2014 Workshops, pp. 117\u2013121 (2012)","DOI":"10.1109\/WI-IAT.2012.246"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-3-642-35236-2_39","volume-title":"Active Media Technology","author":"R. Loukanova","year":"2012","unstructured":"Loukanova, R.: Semantic information with type theory of acyclic recursion. In: Huang, R., Ghorbani, A.A., Pasi, G., Yamaguchi, T., Yen, N.Y., Jin, B. (eds.) AMT 2012. LNCS, vol.\u00a07669, pp. 387\u2013398. Springer, Heidelberg (2012)"},{"key":"7_CR16","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, vol.\u00a02, pp. 210\u2013249. Springer (1994)","DOI":"10.1017\/9781316718254.015"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s10988-005-6920-7","volume":"29","author":"Y.N. Moschovakis","year":"2006","unstructured":"Moschovakis, Y.N.: A logical calculus of meaning and synonymy. Linguistics and Philosophy\u00a029, 27\u201389 (2006)","journal-title":"Linguistics and Philosophy"},{"key":"7_CR18","unstructured":"Ranta, A.: Grammatical Framework: Programming with Multilingual Grammars. CSLI Publications, Stanford (2011)"},{"key":"7_CR19","volume-title":"Elements of Symbolic Logic","author":"H. Reichenbach","year":"1947","unstructured":"Reichenbach, H.: Elements of Symbolic Logic. Macmillan, London (1947)"},{"key":"7_CR20","unstructured":"Thomason, R.H. (ed.): Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven (1974), edited, with an introduction, by Thomason, R.H."},{"key":"7_CR21","volume-title":"The Proper Treatment Of Events. Explorations in Semantics","author":"M. Lambalgen Van","year":"2004","unstructured":"Van Lambalgen, M., Hamm, F.: The Proper Treatment Of Events. Explorations in Semantics. Wiley-Blackwell, Oxford (2004)"}],"container-title":["Lecture Notes in Computer Science","Constraint Solving and Language Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41578-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T16:51:23Z","timestamp":1746031883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41578-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415777","9783642415784"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41578-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}