Switch to: References

Add citations

You must login to add citations.
  1. Two Temporal Logics of Contingency.Matteo Pascucci - 2015 - Australasian Journal of Logic 12 (2):121-134.
    This work concerns the use of operators for past and future contingency in Priorean temporal logic. We will develop a system named C_t, whose language includes a propositional constant and prove that (I) C_t is complete with respect to a certain class of general frames and (II) the usual operators for past and future necessity are definable in such system. Furthermore, we will introduce the extension C_t(lin) that can be interpreted on linear and transitive general frames. The theoretical result of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Family of Kripke Contingency Logics.Jie Fan - 2020 - Theoria 86 (4):482-499.
    Download  
     
    Export citation  
     
    Bookmark