Zooming in, zooming out

DOI10.1023/A:1008204403391MaRDI QIDQ676176zbMATH OpenFDO

Authors Patrick Blackburn, Maarten de Rijke

Publication date 16 June 1997

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1008204403391

zbMATH Keywords

combining logicscombining structurescombining theoriescomplex structureshybrid ontologiesmodal logicmodularityontological richnesstransfer results

Mathematics Subject Classification ID

General theory of mathematical modeling (00A71) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Abstract deductive systems (03B22) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 972579
• Editors' introduction to the special issue on combining logics
• Combinations of modal logics
• Towards a general theory of the combination of logics
• Representation, reasoning, and relational structures: a hybrid logic manifesto

Cited in

(6)

• An exact zooming method
• Editors' introduction to the special issue on combining logics
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• scientific article; zbMATH DE number 6993343 (Why is no real title available?)
• scientific article; zbMATH DE number 972579 (Why is no real title available?)
• Limits for paraconsistent calculi

This page was built for publication: Zooming in, zooming out

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q676176)