Normal monomodal logics can simulate all others

Citation
M. Kracht et F. Wolter, Normal monomodal logics can simulate all others, J SYMB LOG, 64(1), 1999, pp. 99-138
Citations number
34
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
64
Issue
1
Year of publication
1999
Pages
99 - 138
Database
ISI
SICI code
0022-4812(199903)64:1<99:NMLCSA>2.0.ZU;2-4
Abstract
This paper shows that non-normal modal logics can br simulated by certain p olymodal normal logics and that polymodal normal logics can be simulated by monomodal (normal) logics. Many properties of logics are shown to be refle cted and preserved by such simulations. As a consequence many old and new r esults in modal logic can be derived ina straightforward way, sheding new l ight on the power of normal monomodal logic.