{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:59:04Z","timestamp":1742950744059,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642148873"},{"type":"electronic","value":"9783642148880"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14888-0_21","type":"book-chapter","created":{"date-parts":[[2010,8,19]],"date-time":"2010-08-19T04:30:35Z","timestamp":1282192235000},"page":"252-271","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Two Kinds of Procedural Semantics for Privative Modification"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"Primiero","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bj\u00f8rn","family":"Jespersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,8,19]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Du\u017e\u00ed, M., Jespersen, B., Materna, P.: Procedural Semantics for Hyperintensional Logic. Foundations and Applications of Transparent Intensional Logic. Logic, Epistemology and the Unity of Science, vol.17. Springer, Berlin (2010)","DOI":"10.1007\/978-90-481-8812-3"},{"key":"21_CR2","volume-title":"Semantic Structures","author":"R. Jackendoff","year":"1990","unstructured":"Jackendoff, R.: Semantic Structures. MIT Press, Cambridge (1990)"},{"key":"21_CR3","unstructured":"Jespersen, B.: Significant sententialism in Transparent Intensional Logic and Martin-L\u00f6f\u2019s Type Theory. In: Childers, T., Majer, O. (eds.) The Logica Yearbook 2002, pp. 117\u2013131 (2003)"},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1111\/j.1746-8361.2005.01014.x","volume":"59","author":"B. Jespersen","year":"2005","unstructured":"Jespersen, B.: Explicit intensionalization, anti-actualism, and how Smith\u2019s murderer might not have murdered Smith. Dialectica\u00a059, 285\u2013314 (2005)","journal-title":"Dialectica"},{"key":"21_CR5","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/s10992-007-9079-6","volume":"37","author":"B. Jespersen","year":"2008","unstructured":"Jespersen, B.: Predication and extensionalization. Journal of Philosophical Logic\u00a037, 479\u2013499 (2008)","journal-title":"Journal of Philosophical Logic"},{"key":"21_CR6","unstructured":"Jespersen, B.: Property modification and the rule of pseudo-detachment (in submission)"},{"key":"21_CR7","unstructured":"Jespersen, B., Carrara, M.: Two conceptions of technical malfunction (in submission)"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1111\/j.1749-818X.2009.00181.x","volume":"4","author":"B. Jespersen","year":"2010","unstructured":"Jespersen, B.: How hyper are hyperpropositions? Language and Linguistics Compass\u00a04, 96\u2013106 (2010)","journal-title":"Language and Linguistics Compass"},{"key":"21_CR9","series-title":"The Formal Turn","first-page":"85","volume-title":"Philosophy of Language and Linguistics","author":"B. Jespersen","year":"2010","unstructured":"Jespersen, B., Du\u017e\u00ed, M., Materna, P.: The logos of semantic structure. In: Stalmaszczyk, P. (ed.) Philosophy of Language and Linguistics. The Formal Turn, vol.\u00a0I, pp. 85\u2013101. Ontos-Verlag, Farnkfurt (2010)"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/S0049-237X(09)70189-2","volume-title":"Sixth International Congress for Logic, Methodology and Philosophy of Science","author":"P. Martin-L\u00f6f","year":"1982","unstructured":"Martin-L\u00f6f, P.: Constructive mathematics and computer programming. In: Cohen, J.J., et al. (eds.) Sixth International Congress for Logic, Methodology and Philosophy of Science, pp. 153\u2013175. North-Holland, Amsterdam (1982)"},{"key":"21_CR11","volume-title":"Intuitionistic Type Theory","author":"P. Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, P.: Intuitionistic Type Theory. Bibliopolis, Naples (1984)"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-52335-9_54","volume-title":"COLOG-88","author":"P. Martin-L\u00f6f","year":"1990","unstructured":"Martin-L\u00f6f, P.: Mathematics of infinity. In: Martin-L\u00f6f, P., Mints, G. (eds.) COLOG 1988. LNCS, vol.\u00a0417, pp. 146\u2013197. Springer, Heidelberg (1990)"},{"key":"#cr-split#-21_CR13.1","unstructured":"Montague, R.: English as a formal language. In: Visentini, B., et al. (eds.) Linguaggi nella societ\u00e1 e nella tecnica, Milan, pp. 189-224 (1970)"},{"key":"#cr-split#-21_CR13.2","unstructured":"Reprinted in R.H. Thomasson (ed.). Formal Philosophy. Yale University Press, London (1974)"},{"key":"21_CR14","volume-title":"Programming in Martin-L\u00f6f\u2019s Type Theory","author":"B. Nordstr\u00f6m","year":"1990","unstructured":"Nordstr\u00f6m, B., Petersson, K., Smith, J.: Programming in Martin-L\u00f6f\u2019s Type Theory. Oxford University Press, Oxford (1990)"},{"key":"21_CR15","first-page":"1","volume-title":"Handbook of Logic in Computer Science","author":"B. Nordstr\u00f6m","year":"2000","unstructured":"Nordstr\u00f6m, B., Petersson, K., Smith, J.: Martin-L\u00f6f\u2019s Type Theory. In: Abramsky, S., Gabbay, D., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, pp. 1\u201338. Oxford University Press, Oxford (2000)"},{"key":"21_CR16","first-page":"483","volume":"26","author":"G. Primiero","year":"2004","unstructured":"Primiero, G.: The determination of reference in a constructive setting. Giornale di Metafisica\u00a026, 483\u2013502 (2004)","journal-title":"Giornale di Metafisica"},{"key":"21_CR17","series-title":"Logic Epistemology and the Unity of Science","volume-title":"Information and Knowledge. A Constructive Type-Theoretical Approach","author":"G. Primiero","year":"2008","unstructured":"Primiero, G.: Information and Knowledge. A Constructive Type-Theoretical Approach. Logic Epistemology and the Unity of Science, vol.\u00a010. Springer, Berlin (2008)"},{"key":"21_CR18","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1080\/01445340902872630","volume":"30","author":"G. Primiero","year":"2009","unstructured":"Primiero, G.: Proceeding in abstraction. From concepts to types and the recent perspective on information. History and Philosophy of Logic\u00a030, 257\u2013282 (2009)","journal-title":"History and Philosophy of Logic"},{"key":"21_CR19","first-page":"207","volume-title":"Acts of Knowledge: History, Philosophy and Logic","author":"G. Primiero","year":"2009","unstructured":"Primiero, G.: Epistemic modalities. In: Primiero, G., Rahman, S. (eds.) Acts of Knowledge: History, Philosophy and Logic, pp. 207\u2013231. College Publications, London (2009)"},{"key":"21_CR20","unstructured":"Primiero, G.: Constructive contextual modal judgements for reasoning from open assumptions. In: Proceddings of the Computability in Europe Conference (to appear, 2010)"},{"key":"21_CR21","volume-title":"Type-Theoretical Grammar","author":"A. Ranta","year":"1990","unstructured":"Ranta, A.: Type-Theoretical Grammar. Oxford University Press, Oxford (1990)"},{"key":"21_CR22","volume-title":"Proceedings of LICS 1988","author":"A. Salvesen","year":"1988","unstructured":"Salvesen, A., Smith, J.: The strength of the subset type in Martin-L\u00f6f\u2019s Type Theory. In: Proceedings of LICS 1988. IEEE, Edinburgh (1988)"},{"key":"21_CR23","doi-asserted-by":"publisher","DOI":"10.1515\/9783110849264","volume-title":"The Foundations of Frege\u2019s Logic","author":"P. Tich\u00fd","year":"1988","unstructured":"Tich\u00fd, P.: The Foundations of Frege\u2019s Logic. De Gruyter, Berlin (1988)"},{"key":"21_CR24","volume-title":"Filosofia, Czech Academy of Sciences","author":"P. Tich\u00fd","year":"2004","unstructured":"Tich\u00fd, P.: Collected Papers in Logic and Philosophy. In: Svoboda, V., Jespersen, B., Cheyne, C. (eds.) Filosofia, Czech Academy of Sciences, Prague. University of Otago Press, Dunedin (2004)"}],"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-642-14888-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,20]],"date-time":"2021-08-20T02:09:48Z","timestamp":1629425388000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-14888-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642148873","9783642148880"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14888-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]},"assertion":[{"value":"19 August 2010","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}