Zooming in, zooming out
Patrick Blackburn, Maarten de Rijke · UvA-DARE (University of Amsterdam) · 1994
. In Journal of Logic, Language and Information, to appear. 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. Key words: Combinations of logics, complex structures, mathematics of modeling, modularity, modal logic, representation languages, transfer results AMS Subject Classification (1991): 00A71, 03B45 CR Subject Classification (1991): F.4.0, F.4.1, I.2.4 1. Day 1: Examples Zi: There's only two things I want to say: (a) Take things seriously, and (b) Let them talk to each other. Zo: I'd appreciate a few more details. Over the past few weeks you've been talking about everything from Object Oriented Programming to Lexical Functional Grammar in the same breath. You've been saying that applied modal lo...