Switch to: Citations

Add references

You must login to add references.
  1. Temporal logic.Nicholas Rescher - 1971 - New York,: Springer Verlag. Edited by Alasdair Urquhart.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • (1 other version)Cut elimination for propositional dynamic logic without.Robert A. Bull - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):85-100.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (1 other version)Cut elimination for propositional dynamic logic without.Robert A. Bull - 1992 - Mathematical Logic Quarterly 38 (1):85-100.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Temporal Logic.Kit Fine - 1972 - Philosophical Quarterly 22 (89):370-371.
    Download  
     
    Export citation  
     
    Bookmark   15 citations