Switch to: Citations

Add references

You must login to add references.
  1. The tableau method for temporal logic: An overview.Pierre Wolper - 1985 - Logique Et Analyse 28 (110-111):119-136.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • An introduction to modal logic.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.
    Modal propositional logic; Modal predicate logic; A survey of modal logic.
    Download  
     
    Export citation  
     
    Bookmark   201 citations