Switch to: References

Add citations

You must login to add citations.
  1. Some calculi with strong negation primitive.J. Jay Zeman - 1968 - Journal of Symbolic Logic 33 (1):97-100.
    Download  
     
    Export citation  
     
    Bookmark  
  • A note on future branching time.Glenn Kessler - 1975 - Theoria 41 (2):89-95.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On some ascending chains of brouwerian modal logics.Michael J. White - 1981 - Studia Logica 40 (1):75-87.
    This paper specifies classes of framesmaximally omnitemporally characteristic for Thomas' normal modal logicT 2 + and for each logic in the ascending chain of Segerberg logics investigated by Segerberg and Hughes and Cresswell. It is shown that distinct a,scending chains of generalized Segerberg logics can be constructed from eachT n + logic (n 2). The set containing allT n + and Segerberg logics can be totally- (linearly-) ordered but not well-ordered by the inclusion relation. The order type of this ordered (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Models for Multiply Modal Systems.M. K. Rennie - 1970 - Mathematical Logic Quarterly 16 (2):175-186.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Omnitemporal logic and converging time.G. E. Hughes - 1975 - Theoria 41 (1):11-34.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Omnitemporal logic and converging time.G. E. Hughes & M. J. Cresswell - 1975 - Theoria 41 (1):11-34.
    Download  
     
    Export citation  
     
    Bookmark   7 citations