Back to Search Start Over

[Untitled]

Authors :
Frank Wolter
Marcus Kracht
Source :
Studia Logica. 59:149-177
Publication Year :
1997
Publisher :
Springer Science and Business Media LLC, 1997.

Abstract

This papers gives a survey of recent results about simulations of one class of modal logics by another class and of the transfer of properties of modal logics under extensions of the underlying modal language. We discuss: the transfer from normal polymodal logics to their fusions, the transfer from normal modal logics to their extensions by adding the universal modality, and the transfer from normal monomodal logics to minimal tense extensions. Likewise, we discuss simulations of normal polymodal logics by normal monomodal logics, of nominals and the difference operator by normal operators, of monotonic monomodal logics by normal bimodal logics, of polyadic normal modal logics by polymodal normal modal logics, and of intuitionistic modal logics by normal bimodal logics.

Details

ISSN :
00393215
Volume :
59
Database :
OpenAIRE
Journal :
Studia Logica
Accession number :
edsair.doi...........4c1386a770cc56adbcb48eb74910c57c