Zooming in, zooming out (Q676176)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Zooming in, zooming out |
scientific article |
Statements
Zooming in, zooming out (English)
0 references
16 June 1997
0 references
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.
0 references
complex structures
0 references
modularity
0 references
modal logic
0 references
transfer results
0 references
combining logics
0 references
combining theories
0 references
combining structures
0 references
hybrid ontologies
0 references
ontological richness
0 references
