Switch to: Citations

Add references

You must login to add references.
  1. Merging frameworks for interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.
    A variety of logical frameworks have been developed to study rational agents interacting over time. This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow. The first is Epistemic Temporal Logic (ETL) which uses linear or branching time models with added epistemic structure induced by agents’ different capabilities for observing events. The second framework is Dynamic Epistemic Logic (DEL) that describes interactive processes in terms of epistemic event (...)
    Download  
     
    Export citation  
     
    Bookmark   74 citations  
  • The Logic of Reliable Inquiry.Kevin Kelly - 1998 - British Journal for the Philosophy of Science 49 (2):351-354.
    Download  
     
    Export citation  
     
    Bookmark   185 citations  
  • Facing the Future: Agents and Choices in Our Indeterminist World.Nuel Belnap, Michael Perloff & Ming Xu - 2001 - Philosophical Quarterly 52 (209):660-662.
    Download  
     
    Export citation  
     
    Bookmark   235 citations  
  • (1 other version)Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
    Download  
     
    Export citation  
     
    Bookmark   394 citations