Find out how to access previewonly content
Zooming In, Zooming Out
 PATRICK BLACKBURN,
 Maarten De Rijke
 … show all 2 hide
Rent the article at a discount
Rent now* Final gross prices may vary according to local VAT.
Get AccessAbstract
This is an exploratory paper about combining logics, combining theories and combining structures. Typically when one applies logic to such areas as computer science, artificial intelligence or linguistics, one encounters hybrid ontologies. The aim of this paper is to identify plausible strategies for coping with ontological richness.
 Beaver, D., 1994, "What comes first in dynamic semantics?," PhD Thesis, University of Edinburgh.
 van Benthem, J., 1991, Language in Action, Amsterdam: NorthHolland.
 Blackburn, P., Gardent, C., and MeyerViol, W., 1993, "Talking about trees," pp. 21–29 in Proceedings of the 6th Conference of the European Chapter of the Association of Computational Linguistics, Utrecht.
 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åhl, eds., Stanford: CSLI Publications. To appear.
 Blackburn, P. and MeyerViol, W., 1996, "Modal logic and model theoretic syntax," in Advances in Intensional Logic, M. de Rijke, ed., Dordrecht: Kluwer. To appear.
 Blackburn, P., MeyerViol, W., and de Rijke, M., 1996, "A proof system for finite trees," in Computer Science Logic ’95, Berlin: SpringerVerlag. To appear.
 Blackburn, P. and de Rijke, M., 1996, Logics of communicating structures. In preparation.
 Börger, E., 1990, "A logical operational semantics for full Prolog, Part 1." pp. 36–64 in Proceedings CSL ’89, E. Börger et al., eds., LNCS 440, Berlin: SpringerVerlag.
 Brink, C., Britz, K., and Schmidt, R., 1994, "Peirce algebras," Formal Aspects of Computing 6, 339–358.
 Fine, K. and Schurz, G., 1991, "Transfer theorems for stratified multimodal logics," in Proceedings of the Arthur Prior Memorial Conference. To appear.
 Finger, M. and Gabbay, D.M., 1992, "Adding a temporal dimension to a logic system," Journal of Logic, Language and Information 1, 203–233.
 Finger, M. and Gabbay, D.M., 1996, "Combining temporal logic systems," Notre Dame Journal of Formal Logic. To appear.
 Gabbay, D.M., 1994, "Fibered semantics," manuscript, London: Imperial College.
 Gärdenfors, P., 1988, Knowledge in Flux, Cambridge, MA: MIT Press.
 Gazdar, G., Klein, E., Pullum, G., and Sag, I., 1985, Generalised Phrase Structure Grammar, Oxford: Basil Blackwell.
 Girard, J.Y., 1987, "Linear logic," Theoretical Computer Science 50, 1–102.
 van Glabbeek, R., 1990, "Comparative concurrency semantics and refinement of actions," PhD Thesis, Vrije Universiteit Amsterdam.
 Goguen J.A. and Burstall, R.M., 1984, "Some fundamental algebraic tools of the semantics of computation (I)," Theoretical Computer Science 31, 175–209.
 Groenendijk, J. and Stokhof, M., 1991, "Dynamic predicate logic," Linguistics and Philosophy 14, 39–100.
 Gurevich, Y., 1991, "Evolving algebras; a tutorial introduction," Bulletin EATCS 43, 264–284.
 Harel, D., 1984, "Dynamic logic," pp. 497–604 in Handbook of Philosophical Logic 2, D. Gabbay and F. Guenthner, eds., Dordrecht: Reidel.
 Hemaspaandra, E., 1994, "Complexity transfer for modal logic," pp. 164–173 in Proceedings 9th LICS, Paris.
 Hemaspaandra, E., 1996, "The price of universality," Notre Dame Journal of Formal Logic. To appear.
 Johnson, D., and Moss, L., 1994, "Grammar formalisms viewed as evolving algebras," Linguistics and Philosophy 17, 537–560.
 Joshi, A., Levy, L., and Takahashi, M., 1975, "Tree adjunct grammars," Journal of Computer and Systems Sciences 10, 136–163.
 Kaplan, R. and Bresnan, J., 1982, "Lexicalfunctional grammar: a formal system for grammatical representation," pp. 173–281 in The Mental Representation of Grammatical Relations, J. Bresnan, ed., Cambridge, MA: MIT Press.
 Kasper, R. and Rounds, W., 1990, "The logic of unification in grammar," Linguistics and Philosophy 13, 33–58.
 Kracht, M. and Wolter, F., 1991, "Properties of independently axiomatisable bimodal logics," Journal of Symbolic Logic 56, 1469–1485.
 Kurucz, A., Jánossy, A., and Eiben, G., 1996, "Combining algebraizable logics," Notre Dame Journal of Formal Logic. To appear.
 Marx, M., Németi, I., Sain, I., and Mikulás, S., 1996, "Investigations in arrow logics," in Arrow Logics and Multimodal Logics, M. Marx, L. Polos, and M. Masuch, eds., Studies in Logic, Language and Information. Stanford: CSLI Publications. To appear.
 Moens, M., and Steedman, M., 1988, "Temporal ontology and temporal reference," Computational Linguistics 14, 15–28.
 Moshier, D., and Rounds, W., 1987, "A logic for partially specified data structures," pp. 156–167 in Proceedings of the 14th ACM Symposium on Principles of Programming Languages, Munich.
 Pratt, V., 1976, "Semantical considerations on Floyd–Hoare logic," pp. 109–121 in Proceedings 17th IEEE Symposium on the Foundations of Computer Science.
 Pratt, V., 1991, "Action logic and pure induction," pp. 79–120 in Logics in AI, J. van Eijck, ed., LNAI 478, Berlin: Springer.
 de Rijke, M., 1992, A system of dynamic modal logic, Report #CSLI92170, Stanford University. To appear in Journal of Philosophical Logic.
 de Rijke, M., 1994, "Meeting some neighbours," pp. 170–195 in Logic and Information Flow, J. van Eijck and A. Visser, eds., Cambridge, MA: MIT Press.
 de Rijke, M., 1995, "The logic of Peirce algebras," Journal of Logic, Language and Information 4, 227–250.
 Seligman, J., 1990, "Perspectives: A relativistic approach to the theory of information," PhD Thesis, University of Edinburgh.
 Seligman, J., 1996, Combining logics with ease. In preparation.
 Spaan, E., 1993, "Complexity of modal logics," PhD Thesis, ILLC, University of Amsterdam.
 Vakarelov, D., 1996, "Modal arrow logic," in Advances in Intensional Logic, M. de Rijke, ed., Dordrecht: Kluwer. To appear.
 Venema, Y., 1996, "A crash course in arrow logic," in Arrow Logics and Multimodal Logics, M. Marx, L. Polos and M. Masuch, eds., Studies in Logic, Language and Information. CSLI Publications, Stanford. To appear.
 Title
 Zooming In, Zooming Out
 Journal

Journal of Logic, Language and Information
Volume 6, Issue 1 , pp 531
 Cover Date
 19970101
 DOI
 10.1023/A:1008204403391
 Print ISSN
 09258531
 Online ISSN
 15729583
 Publisher
 Kluwer Academic Publishers
 Additional Links
 Topics
 Keywords

 Combinations of logics
 complex structures
 mathematics of modeling
 modularity
 modal logic
 representation languages
 transfer results
 Authors

 PATRICK BLACKBURN ^{(1)}
 Maarten De Rijke ^{(2)}
 Author Affiliations

 1. Computerlinguistik, Universität des Saarlandes, Postfach 1150, D66041, Saarbrücken, Germany
 2. Department of Computer Science, University of Warwick, Coventry, CV4 7AL, U.K.