Switch to: Citations

Add references

You must login to add references.
  1. Representation of game algebras.Yde Venema - 2003 - Studia Logica 75 (2):239 - 256.
    We prove that every abstractly defined game algebra can be represented as an algebra of consistent pairs of monotone outcome relations over a game board. As a corollary we obtain Goranko's result that van Benthem's conjectured axiomatization for equivalent game terms is indeed complete.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Representation of Game Algebras.Yde Venema - 2003 - Studia Logica 75 (2):239-256.
    We prove that every abstractly defined game algebra can be represented as an algebra of consistent pairs of monotone outcome relations over a game board. As a corollary we obtain Goranko's result that van Benthem's conjectured axiomatization for equivalent game terms is indeed complete.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Normal forms in modal logic.Kit Fine - 1975 - Notre Dame Journal of Formal Logic 16 (2):229-237.
    Download  
     
    Export citation  
     
    Bookmark   40 citations