Zooming in, zooming out
From MaRDI portal
Publication:676176
DOI10.1023/A:1008204403391zbMath0872.03008MaRDI QIDQ676176
Patrick Blackburn, Maarten de Rijke
Publication date: 16 June 1997
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
modal logicmodularitycomplex structurescombining logicscombining structurescombining theorieshybrid ontologiesontological richnesstransfer results
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) General theory of mathematical modeling (00A71) Abstract deductive systems (03B22)
Related Items