Switch to: References

Citations of:

Acts of Knowledge - History, Philosophy and Logic

College Publications (2009)

Add citations

You must login to add citations.
  1. First-Order Dialogical Games and Tableaux.Nicolas Clerbout - 2014 - Journal of Philosophical Logic 43 (4):785-801.
    We present a new proof of soundness/completeness of tableaux with respect to dialogical games in Classical First-Order Logic. As far as we know it is the first thorough result for dialogical games where finiteness of plays is guaranteed by means of what we call repetition ranks.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations