Switch to: Citations

Add references

You must login to add references.
  1. Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)Normal monomodal logics can simulate all others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
    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.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • (2 other versions)Reduction of tense logic to modal logic II.S. K. Thomason - 1974 - Theoria 40 (3):154-169.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (2 other versions)Reduction of tense logic to modal logic. I.S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (3):549-551.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Embeddings of propositional monomodal logics.E. Zolin - 2000 - Logic Journal of the IGPL 8 (6):861-882.
    The aim of this paper is to investigate the expressibility of classical propositional monomodal logics. To this end, a notion of embedding of one logic into another is introduced, which is a translation preserving theoremhood. Each translation trF is induced by a formula F of one variable p; it respects boolean connectives and translates a formula of a form □A into F). This notion enables to measure the expressibility of a logic by a number of logics embeddable into it. This (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations