Editors' introduction to the special issue on combining logics

DOI10.1305/ndjfl/1040046084zbMath0856.03001OpenAlexW4250861128MaRDI QIDQ1815423

Maarten de Rijke, Patrick Blackburn

Publication date: 1996

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040046084

zbMATH Keywords

modularitycombining logics, structures, and theoriesdescription of real world systems using combined languageslogical combination

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other applications of logic (03B80)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Zooming in, zooming out
• Combination of constraint solvers for free and quasi-free structures
• Adding a temporal dimension to a logic system
• Frontiers of combining systems. First international workshop, Munich, Germany, March 26--29, 1996
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• Simplification by Cooperating Decision Procedures
• Properties of independently axiomatizable bimodal logics
• The finite model property in tense logic

This page was built for publication: Editors' introduction to the special issue on combining logics