Switch to: References

Add citations

You must login to add citations.
  1. Hybrid Formulas and Elementarily Generated Modal Logics.Ian Hodkinson - 2006 - Notre Dame Journal of Formal Logic 47 (4):443-478.
    We characterize the modal logics of elementary classes of Kripke frames as precisely those modal logics that are axiomatized by modal axioms synthesized in a certain effective way from "quasi-positive" sentences of hybrid logic. These are pure positive hybrid sentences with arbitrary existential and relativized universal quantification over nominals. The proof has three steps. The first step is to use the known result that the modal logic of any elementary class of Kripke frames is also the modal logic of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Epistemologische betrachtungen zu [S4, S5].Wolfgang Lenzen - 1979 - Erkenntnis 14 (1):33-56.
    The numerous modal systems between S4 and S5 are investigated from an epistemological point of view by interpreting necessity either as knowledge or as (strong) belief. It is shown that-granted some assumptions about epistemic logic for which the author has argued elsewhere-the system S4.4 may be interpreted as the logic of true belief, while S4.3.2 and S4.2 may be taken to represent epistemic logic systems for individuals who accept the scheme knowledge = true belief only for certain special instances. There (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   15 citations  
  • Disjunctive Extensions of S4 and a Conjecture of Goldblatt's.George F. Schumm - 1975 - Mathematical Logic Quarterly 21 (1):81-86.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation