Switch to: References

Add citations

You must login to add citations.
  1. Directed frames.Giovanna Corsi & Silvio Ghilardi - 1989 - Archive for Mathematical Logic 29 (1):53-67.
    Predicate extensions of the intermediate logic of the weak excluded middle and of the modal logic S4.2 are introduced and investigated. In particular it is shown that some of them are characterized by subclasses of the class of directed frames with either constant or nested domains.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • On Hamblin's 15 Tense Theorem.Manfred Kudlek - 2010 - Journal of Applied Non-Classical Logics 20 (1):63-80.
    It is demonstrated that Hamblin's 15 tense theorem does not only hold for temporal logic with linear time but also for branching time. Furthermore three other theorems with finitely many tenses are shown.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Alethic Modal Logics and Semantics.Gerhard Schurz - 2006 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 442–477.
    This chapter contains sections titled: Introduction Modal propositional Logics (MPLs) Modal Quantificational Logics(QMLs).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Modal Logic.James W. Garson - 2009 - Stanford Encyclopedia of Philosophy.