{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T18:48:03Z","timestamp":1772909283189,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540664321","type":"print"},{"value":"9783540483151","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48315-2_27","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T12:51:21Z","timestamp":1187268681000},"page":"351-360","source":"Crossref","is-referenced-by-count":6,"title":["Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects"],"prefix":"10.1007","author":[{"given":"Richmond H.","family":"Thomason","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,12,6]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/978-94-009-6259-0_7","volume-title":"Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic","author":"C.A. Anderson","year":"1984","unstructured":"C.A. Anderson. General intensional logic. In Dov Gabbay and Franz Guenther, (eds.), Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic, pp. 355\u2013385. D. Reidel Publishing Co., Dordrecht, 1984."},{"key":"27_CR2","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N.D. Belnap","year":"1977","unstructured":"N.D. Belnap. A useful four-valued logic. In J.M. Dunn and G. Epstein, (eds.), Modern Uses of Multiple-Valued Logic. D. reidel Publishing Co., Dordrecht, 1977."},{"key":"27_CR3","unstructured":"S. Buvac and I. Mason. Propositional logic of context. In R. Fikes and W. Lehnert, (eds.), Proceedings of the 11th National Conference on Artificial Intelligence, pp. 412\u2013419, Menlo Park, California, 1993. American Association for Artificial Intelligence, AAAI Press."},{"key":"27_CR4","doi-asserted-by":"publisher","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A. Church","year":"1940","unstructured":"A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56\u201368, 1940.","journal-title":"Journal of Symbolic Logic"},{"key":"27_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning About Knowledge. The MIT Press, Cambridge, Massachusetts, 1995."},{"key":"27_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-0208(08)70478-X","volume-title":"Intensional and Higher-Order Logic","author":"D. Gallin","year":"1975","unstructured":"D. Gallin. Intensional and Higher-Order Logic. North-Holland Publishing Company, Amsterdam, 1975."},{"key":"27_CR7","unstructured":"F. Giunchiglia, L. Serafini, E. Giunchiglia, and M. Frixione. Non omniscient belief as context-based reasoning. In R. Bajcsy, (ed.), Proceedings of the 13th International Joint Conference on Artificial Intelligence, pp. 548\u2013554, San Mateo, California, 1993. Morgan Kaufmann."},{"key":"27_CR8","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J. Groenendijk","year":"1991","unstructured":"J. Groenendijk and M. Stokhof. Dynamic predicate logic. Linguistics and Philosophy, 14:39\u2013100, 1991.","journal-title":"Linguistics and Philosophy"},{"key":"27_CR9","first-page":"81","volume":"8","author":"D. Kaplan","year":"1978","unstructured":"D. Kaplan. On the logic of demonstratives. Journal of Philosophical Logic, 8:81\u201398, 1978.","journal-title":"Journal of Philosophical Logic"},{"key":"27_CR10","unstructured":"J. McCarthy and S. Buvac. Formalizing context (expanded notes). Available from http:\/\/www-formal.stanford.edu\/buvac , 1995."},{"key":"27_CR11","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BF00413599","volume":"22","author":"R. Montague","year":"1970","unstructured":"R. Montague. Pragmatics and intensional logic. Synth\u00e8se, 22:68\u201394, 1970. Reprinted in Formal Philosophy, by R. Montague, Yale University Press, New Haven, CT, 1974, pp. 119\u2014147.","journal-title":"Synth\u00e8se"},{"key":"27_CR12","unstructured":"Y. Moses. Resource-bounded knowledge. In M.Y. Vardi, (ed.), Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, pp. 261\u2013276, San Francisco, 1988. Morgan Kaufmann."},{"key":"27_CR13","volume-title":"Meaning and Partiality","author":"R. Muskens","year":"1996","unstructured":"R. Muskens. Meaning and Partiality. Cambridge University Press, Cambridge, England, 1996."},{"key":"27_CR14","volume-title":"Ph.d. dissertation","author":"M. Stone","year":"1998","unstructured":"M. Stone. Modality in Dialogue: Planning, Pragmatics and Computation. Ph.d. dissertation, Computer Science Department, University of Pennsylvania, Philadelphia, Pennsylvania, 1998."},{"key":"27_CR15","unstructured":"R.H. Thomason. Type theoretic foundations for context. In S. Buvac and L. Iwanska, (eds.), Working Papers of the AAAI Fall Symposium on Context in Knowledge Representation and Natural Language, pp. 173-175, Menlo Park, California, 1997. American Association for Artificial Intelligence, American Association for Artificial Intelligence."},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"R.H. Thomason. Representing and reasoning with context. In Jacques Calmet and Jan Plaza, (eds.), Proceedings of the International Conference on Artificial Intelligence and Symbolic Computation (AISC\u201998), Plattsburgh, New York, pp. 29\u201341, Berlin, 1998. Springer-Verlag.","DOI":"10.1007\/BFb0055900"},{"key":"27_CR17","volume-title":"Semantic Ambiguity and Underspecification","year":"1996","unstructured":"K. van Deemter and S. Peters, (eds.). Semantic Ambiguity and Underspecification. Cambridge University Press, Cambridge, England, 1996."}],"container-title":["Lecture Notes in Computer Science","Modeling and Using Context"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48315-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T11:44:41Z","timestamp":1737373481000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48315-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664321","9783540483151"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48315-2_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}