{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:40:04Z","timestamp":1749724804033,"version":"3.41.0"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1008204403391","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T13:47:34Z","timestamp":1040564854000},"page":"5-31","source":"Crossref","is-referenced-by-count":8,"title":["Zooming In, Zooming Out"],"prefix":"10.1007","volume":"6","author":[{"given":"PATRICK","family":"BLACKBURN","sequence":"first","affiliation":[]},{"given":"Maarten","family":"De Rijke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"114546_CR1","unstructured":"Beaver, D., 1994, \"What comes first in dynamic semantics?,\" PhD Thesis, University of Edinburgh."},{"key":"114546_CR2","volume-title":"Language in Action","author":"J. van Benthem","year":"1991","unstructured":"van Benthem, J., 1991, Language in Action, Amsterdam: North-Holland."},{"key":"114546_CR3","doi-asserted-by":"crossref","unstructured":"Blackburn, P., Gardent, C., and Meyer-Viol, W., 1993, \"Talking about trees,\" pp. 21\u201329 in Proceedings of the 6th Conference of the European Chapter of the Association of Computational Linguistics, Utrecht.","DOI":"10.3115\/976744.976748"},{"key":"114546_CR4","volume-title":"Logic, Language and Computation","author":"P. Blackburn","year":"1996","unstructured":"Blackburn, P., Gardent, C., and de Rijke, M., 1996, \"Rich ontologies for tense and aspect,\" in Logic, Language and Computation, J. Seligman and D. Westerst\u00e5hl, eds., Stanford: CSLI Publications. To appear."},{"key":"114546_CR5","volume-title":"Advances in Intensional Logic","author":"P. Blackburn","year":"1996","unstructured":"Blackburn, P. and Meyer-Viol, W., 1996, \"Modal logic and model theoretic syntax,\" in Advances in Intensional Logic, M. de Rijke, ed., Dordrecht: Kluwer. To appear."},{"key":"114546_CR6","volume-title":"Computer Science Logic \u201995","author":"P. Blackburn","year":"1996","unstructured":"Blackburn, P., Meyer-Viol, W., and de Rijke, M., 1996, \"A proof system for finite trees,\" in Computer Science Logic \u201995, Berlin: Springer-Verlag. To appear."},{"key":"114546_CR7","unstructured":"Blackburn, P. and de Rijke, M., 1996, Logics of communicating structures. In preparation."},{"key":"114546_CR8","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/3-540-52753-2_31","volume-title":"Proceedings CSL \u201989","author":"E. B\u00f6rger","year":"1990","unstructured":"B\u00f6rger, E., 1990, \"A logical operational semantics for full Prolog, Part 1.\" pp. 36\u201364 in Proceedings CSL \u201989, E. B\u00f6rger et al., eds., LNCS 440, Berlin: Springer-Verlag."},{"key":"114546_CR9","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BF01215410","volume":"6","author":"C. Brink","year":"1994","unstructured":"Brink, C., Britz, K., and Schmidt, R., 1994, \"Peirce algebras,\" Formal Aspects of Computing\n6, 339\u2013358.","journal-title":"Formal Aspects of Computing"},{"key":"114546_CR10","unstructured":"Fine, K. and Schurz, G., 1991, \"Transfer theorems for stratified multi-modal logics,\" in Proceedings of the Arthur Prior Memorial Conference. To appear."},{"key":"114546_CR11","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M. Finger","year":"1992","unstructured":"Finger, M. and Gabbay, D.M., 1992, \"Adding a temporal dimension to a logic system,\" Journal of Logic, Language and Information\n1, 203\u2013233.","journal-title":"Journal of Logic, Language and Information"},{"key":"114546_CR12","doi-asserted-by":"crossref","unstructured":"Finger, M. and Gabbay, D.M., 1996, \"Combining temporal logic systems,\" Notre Dame Journal of Formal Logic. To appear.","DOI":"10.1305\/ndjfl\/1040046087"},{"key":"114546_CR13","volume-title":"Fibered semantics","author":"D.M. Gabbay","year":"1994","unstructured":"Gabbay, D.M., 1994, \"Fibered semantics,\" manuscript, London: Imperial College."},{"key":"114546_CR14","volume-title":"Knowledge in Flux","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P., 1988, Knowledge in Flux, Cambridge, MA: MIT Press."},{"key":"114546_CR15","volume-title":"Generalised Phrase Structure Grammar","author":"G. Gazdar","year":"1985","unstructured":"Gazdar, G., Klein, E., Pullum, G., and Sag, I., 1985, Generalised Phrase Structure Grammar, Oxford: Basil Blackwell."},{"key":"114546_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y., 1987, \"Linear logic,\" Theoretical Computer Science\n50, 1\u2013102.","journal-title":"Theoretical Computer Science"},{"key":"114546_CR17","unstructured":"van Glabbeek, R., 1990, \"Comparative concurrency semantics and refinement of actions,\" PhD Thesis, Vrije Universiteit Amsterdam."},{"key":"114546_CR18","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0304-3975(84)90134-8","volume":"31","author":"J.A. Goguen","year":"1984","unstructured":"Goguen J.A. and Burstall, R.M., 1984, \"Some fundamental algebraic tools of the semantics of computation (I),\" Theoretical Computer Science\n31, 175\u2013209.","journal-title":"Theoretical Computer Science"},{"key":"114546_CR19","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J. Groenendijk","year":"1991","unstructured":"Groenendijk, J. and Stokhof, M., 1991, \"Dynamic predicate logic,\" Linguistics and Philosophy\n14, 39\u2013100.","journal-title":"Linguistics and Philosophy"},{"key":"114546_CR20","first-page":"264","volume":"43","author":"Y. Gurevich","year":"1991","unstructured":"Gurevich, Y., 1991, \"Evolving algebras; a tutorial introduction,\" Bulletin EATCS\n43, 264\u2013284.","journal-title":"Bulletin EATCS"},{"key":"114546_CR21","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic 2","author":"D. Harel","year":"1984","unstructured":"Harel, D., 1984, \"Dynamic logic,\" pp. 497\u2013604 in Handbook of Philosophical Logic 2, D. Gabbay and F. Guenthner, eds., Dordrecht: Reidel."},{"key":"114546_CR22","doi-asserted-by":"crossref","unstructured":"Hemaspaandra, E., 1994, \"Complexity transfer for modal logic,\" pp. 164\u2013173 in Proceedings 9th LICS, Paris.","DOI":"10.1109\/LICS.1994.316074"},{"key":"114546_CR23","doi-asserted-by":"crossref","unstructured":"Hemaspaandra, E., 1996, \"The price of universality,\" Notre Dame Journal of Formal Logic. To appear.","DOI":"10.1305\/ndjfl\/1040046086"},{"key":"114546_CR24","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1007\/BF00985318","volume":"17","author":"D. Johnson","year":"1994","unstructured":"Johnson, D., and Moss, L., 1994, \"Grammar formalisms viewed as evolving algebras,\" Linguistics and Philosophy\n17, 537\u2013560.","journal-title":"Linguistics and Philosophy"},{"key":"114546_CR25","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1016\/S0022-0000(75)80019-5","volume":"10","author":"A. Joshi","year":"1975","unstructured":"Joshi, A., Levy, L., and Takahashi, M., 1975, \"Tree adjunct grammars,\" Journal of Computer and Systems Sciences\n10, 136\u2013163.","journal-title":"Journal of Computer and Systems Sciences"},{"key":"114546_CR26","first-page":"173","volume-title":"The Mental Representation of Grammatical Relations","author":"R. Kaplan","year":"1982","unstructured":"Kaplan, R. and Bresnan, J., 1982, \"Lexical-functional grammar: a formal system for grammatical representation,\" pp. 173\u2013281 in The Mental Representation of Grammatical Relations, J. Bresnan, ed., Cambridge, MA: MIT Press."},{"key":"114546_CR27","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF00630516","volume":"13","author":"R. Kasper","year":"1990","unstructured":"Kasper, R. and Rounds, W., 1990, \"The logic of unification in grammar,\" Linguistics and Philosophy\n13, 33\u201358.","journal-title":"Linguistics and Philosophy"},{"key":"114546_CR28","doi-asserted-by":"crossref","first-page":"1469","DOI":"10.2307\/2275487","volume":"56","author":"M. Kracht","year":"1991","unstructured":"Kracht, M. and Wolter, F., 1991, \"Properties of independently axiomatisable bimodal logics,\" Journal of Symbolic Logic\n56, 1469\u20131485.","journal-title":"Journal of Symbolic Logic"},{"key":"114546_CR29","unstructured":"Kurucz, A., J\u00e1nossy, A., and Eiben, G., 1996, \"Combining algebraizable logics,\" Notre Dame Journal of Formal Logic. To appear."},{"key":"114546_CR30","volume-title":"Arrow Logics and Multi-modal Logics","author":"M. Marx","year":"1996","unstructured":"Marx, M., N\u00e9meti, I., Sain, I., and Mikul\u00e1s, S., 1996, \"Investigations in arrow logics,\" in Arrow Logics and Multi-modal Logics, M. Marx, L. Polos, and M. Masuch, eds., Studies in Logic, Language and Information. Stanford: CSLI Publications. To appear."},{"key":"114546_CR31","first-page":"15","volume":"14","author":"M. Moens","year":"1988","unstructured":"Moens, M., and Steedman, M., 1988, \"Temporal ontology and temporal reference,\" Computational Linguistics\n14, 15\u201328.","journal-title":"Computational Linguistics"},{"key":"114546_CR32","doi-asserted-by":"crossref","unstructured":"Moshier, D., and Rounds, W., 1987, \"A logic for partially specified data structures,\" pp. 156\u2013167 in Proceedings of the 14th ACM Symposium on Principles of Programming Languages, Munich.","DOI":"10.1145\/41625.41639"},{"key":"114546_CR33","doi-asserted-by":"crossref","unstructured":"Pratt, V., 1976, \"Semantical considerations on Floyd\u2013Hoare logic,\" pp. 109\u2013121 in Proceedings 17th IEEE Symposium on the Foundations of Computer Science.","DOI":"10.1109\/SFCS.1976.27"},{"key":"114546_CR34","first-page":"79","volume-title":"Logics in AI","author":"V. Pratt","year":"1991","unstructured":"Pratt, V., 1991, \"Action logic and pure induction,\" pp. 79\u2013120 in Logics in AI, J. van Eijck, ed., LNAI 478, Berlin: Springer."},{"key":"114546_CR35","unstructured":"de Rijke, M., 1992, A system of dynamic modal logic, Report #CSLI-92-170, Stanford University. To appear in Journal of Philosophical Logic."},{"key":"114546_CR36","doi-asserted-by":"crossref","first-page":"170","DOI":"10.7551\/mitpress\/4286.003.0013","volume-title":"Logic and Information Flow","author":"M. de Rijke","year":"1994","unstructured":"de Rijke, M., 1994, \"Meeting some neighbours,\" pp. 170\u2013195 in Logic and Information Flow, J. van Eijck and A. Visser, eds., Cambridge, MA: MIT Press."},{"key":"114546_CR37","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF01049414","volume":"4","author":"M. de Rijke","year":"1995","unstructured":"de Rijke, M., 1995, \"The logic of Peirce algebras,\" Journal of Logic, Language and Information\n4, 227\u2013250.","journal-title":"Journal of Logic, Language and Information"},{"key":"114546_CR38","unstructured":"Seligman, J., 1990, \"Perspectives: A relativistic approach to the theory of information,\" PhD Thesis, University of Edinburgh."},{"key":"114546_CR39","unstructured":"Seligman, J., 1996, Combining logics with ease. In preparation."},{"key":"114546_CR40","unstructured":"Spaan, E., 1993, \"Complexity of modal logics,\" PhD Thesis, ILLC, University of Amsterdam."},{"key":"114546_CR41","volume-title":"Advances in Intensional Logic","author":"D. Vakarelov","year":"1996","unstructured":"Vakarelov, D., 1996, \"Modal arrow logic,\" in Advances in Intensional Logic, M. de Rijke, ed., Dordrecht: Kluwer. To appear."},{"key":"114546_CR42","volume-title":"Arrow Logics and Multi-modal Logics","author":"Y. Venema","year":"1996","unstructured":"Venema, Y., 1996, \"A crash course in arrow logic,\" in Arrow Logics and Multi-modal Logics, M. Marx, L. Polos and M. Masuch, eds., Studies in Logic, Language and Information. CSLI Publications, Stanford. To appear."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008204403391.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008204403391\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008204403391.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:26:08Z","timestamp":1749723968000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008204403391"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["114546"],"URL":"https:\/\/doi.org\/10.1023\/a:1008204403391","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}