Zooming In, Zooming Out

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.

[1]  David E. Johnson,et al.  Grammar formalisms viewed as evolving algebras , 1994 .

[2]  Vaughan R. Pratt,et al.  Action Logic and Pure Induction , 1990, JELIA.

[3]  Vaughan R. Pratt,et al.  SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC , 1976, FOCS 1976.

[4]  A. E. Eiben,et al.  Combining Algebraizable Logics , 1996, Notre Dame J. Formal Log..

[5]  M. de Rijke,et al.  A System of Dynamic Modal Logic , 1998, J. Philos. Log..

[6]  Joseph A. Goguen,et al.  Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories , 1984, Theor. Comput. Sci..

[7]  maarten marx,et al.  Investigations in arrow logic , 1997 .

[8]  Johan van Benthem,et al.  Language in action , 1991, J. Philos. Log..

[9]  P.R.J. Asveld.  Review of "R.J.H. van Glabbeek, Comparative Concurrency Semantics and Refinement Actions (1996), CWI, Amsterdam" , 1997 .

[10]  William C. Rounds,et al.  A logic for partially specified data structures , 1987, POPL '87.

[11]  Jerry Seligman.  Perspectives: a relativistic approach to the theory of information , 1991 .

[12]  Yuri Gurevich.  Evolving Algebras , 1994, IFIP Congress.

[13]  Jeroen Groenendijk,et al.  Dynamic predicate logic , 1991 .

[14]  Maarten de Rijke.  The logic of Peirce algebras , 1995, J. Log. Lang. Inf..

[15]  Edith Hemaspaandra,et al.  Complexity Transfer for Modal Logic (Extended Abstract) , 1994, LICS 1994.

[16]  Egon Börger,et al.  A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control , 1989, CSL.

[17]  R. J. vanGlabbeek.  Comparative concurrency semantics and refinement of actions , 1996 .

[18]  Marcus Kracht,et al.  Properties of independently axiomatizable bimodal logics , 1991, Journal of Symbolic Logic.

[19]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[20]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .

[21]  Maarten de Rijke.  Meeting some neighbours , 1992 .

[22]  Dov M. Gabbay,et al.  Adding a temporal dimension to a logic system , 1992, J. Log. Lang. Inf..

[23]  Claire Gardent,et al.  Talking About Trees , 1993, EACL.

[24]  Patrick Blackburn,et al.  Modal Logic and Model-Theoretic Syntax , 1997 .

[25]  Edith Hemaspaandra,et al.  The Price of Universality , 1996, Notre Dame J. Formal Log..

[26]  Y. Venema.  A crash course in arrow logic , 1994 .

[27]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[28]  Mark Steedman,et al.  Temporal Ontology and Temporal Reference , 1988, CL.

[29]  Joseph A. Goguen,et al.  Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories , 1991, Theor. Comput. Sci..

[30]  M. de Rijke,et al.  A Proof System for Finite Trees , 1995, CSL.

[31]  David Ian Beaver,et al.  Presupposition and assertion in dynamic semantics : Part (I) The presupposition : a critical review of presupposition theory ; Part (II) The assertion : what comes first in dynamic semantics , 1995 .

[32]  Dov M. Gabbay,et al.  Combining Temporal Logic Systems , 1996, Notre Dame J. Formal Log..

[33]  Aravind K. Joshi,et al.  Tree Adjunct Grammars , 1975, J. Comput. Syst. Sci..

[34]  William C. Rounds,et al.  The logic of unification in grammar , 1990 .

[35]  M. de Rijke,et al.  Rich ontologies for tense and aspect , 1996 .