Normal Monomodal Logics Can Simulate All Others

Kracht, Marcus; Wolter, Frank

J. Symbolic Logic, Tome 64 (1999) no. 1, p. 99-138 / Harvested from Project Euclid

Résumé

This paper shows that non-normal modal logics can be simulated by certain polymodal normal logics and that polymodal normal logics can be simulated by monomodal (normal) logics. Many properties of logics are shown to be reflected and preserved by such simulations. As a consequence many old and new results in modal logic can be derived in a straightforward way, sheding new light on the power of normal monomodal logic.

Publié le : 1999-03-14
Classification:

@article{1183745695,
     author = {Kracht, Marcus and Wolter, Frank},
     title = {Normal Monomodal Logics Can Simulate All Others},
     journal = {J. Symbolic Logic},
     volume = {64},
     number = {1},
     year = {1999},
     pages = { 99-138},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745695}
}

Kracht, Marcus; Wolter, Frank. Normal Monomodal Logics Can Simulate All Others. J. Symbolic Logic, Tome 64 (1999) no. 1, pp.  99-138. http://gdmltest.u-ga.fr/item/1183745695/