Journal of Symbolic Logic

Normal Monomodal Logics Can Simulate All Others

Marcus Kracht and Frank Wolter

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

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.

Article information

Source
J. Symbolic Logic, Volume 64, Issue 1 (1999), 99-138.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183745695

Mathematical Reviews number (MathSciNet)
MR1683898

Zentralblatt MATH identifier
0972.03019

JSTOR
links.jstor.org

Citation

Kracht, Marcus; Wolter, Frank. Normal Monomodal Logics Can Simulate All Others. J. Symbolic Logic 64 (1999), no. 1, 99--138. https://projecteuclid.org/euclid.jsl/1183745695


Export citation