Switch to: Citations

Add references

You must login to add references.
  1. Tense Logic Without Tense Operators.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):145-171.
    We shall describe the set of strongly meet irreducible logics in the lattice ϵLin.t of normal tense logics of weak orderings. Based on this description it is shown that all logics in ϵLin.t are independently axiomatizable. Then the description is used in order to investigate tense logics with respect to decidability, finite axiomatizability, axiomatization problems and completeness with respect to Kripke semantics. The main tool for the investigation is a translation of bimodal formulas into a language talking about partitions of (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • A Counterexample in Tense Logic.Frank Wolter - 1996 - Notre Dame Journal of Formal Logic 37 (2):167-173.
    We construct a normal extension of K4 with the finite model property whose minimal tense extension is not complete with respect to Kripke semantics.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.
    Download  
     
    Export citation  
     
    Bookmark   91 citations  
  • Modal logics with linear alternative relations.Krister Segerberg - 1970 - Theoria 36 (3):301-322.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • A modal analog for Glivenko's theorem and its applications.V. V. Rybakov - 1992 - Notre Dame Journal of Formal Logic 33 (2):244-248.
    Download  
     
    Export citation  
     
    Bookmark   5 citations