Switch to: Citations

Add references

You must login to add references.
  1. A finite axiomatization of the set of strongly valid ockhamist formulas.Alberto Zanardo - 1985 - Journal of Philosophical Logic 14 (4):447 - 468.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief.Michael Wooldridge, Clare Dixon & Michael Fisher - 1998 - Journal of Applied Non-Classical Logics 8 (3):225-258.
    ABSTRACT In this paper we define two logics, KLn and BLn, and present tableau-based decision procedures for both. KLn is a temporal logic of knowledge. Thus, in addition to the usual connectives of linear discrete temporal logic, it contains a set of unary modal connectives for representing the knowledge possessed by agents. The logic BLn is somewhat similar; it is a temporal logic that contains connectives for representing the beliefs of agents. In addition to a complete formal definition of the (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Logic and time.John P. Burgess - 1979 - Journal of Symbolic Logic 44 (4):566-582.
    Download  
     
    Export citation  
     
    Bookmark   43 citations