Switch to: Citations

Add references

You must login to add references.
  1. The Logic of Distributed Protocols.William J. Rapaport, Richard E. Ladner & John H. Reif - 1988 - Journal of Symbolic Logic 53 (2):667.
  • Games in Dynamic-Epistemic Logic.Johan van Benthem - unknown
    We discuss games of both perfect and imperfect information at two levels of structural detail: players’ local actions, and their global powers for determining outcomes of the game. We propose matching logical languages for both. In particular, at the ‘action level’, imperfect information games naturally model a combined ‘dynamic-epistemic language’ – and we find correspondences between special axioms and particular modes of playing games with their information dynamics. At the ‘outcome level’, we present suitable notions of game equivalence, plus some (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   24 citations  
  • Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
    A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an (...)
    Direct download  
     
    Export citation  
     
    Bookmark   240 citations  
  • Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2004 - Studia Logica 76 (1):142-148.
     
    Export citation  
     
    Bookmark   83 citations  
  • Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
    Direct download  
     
    Export citation  
     
    Bookmark   69 citations  
  • Reasoning About Knowledge.Ronald Fagin (ed.) - 1995 - MIT Press.
    Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...
    Direct download  
     
    Export citation  
     
    Bookmark   262 citations  
  • Logics of Time and Computation.Robert Goldblatt - 1992 - CSLI Publications.
    No categories
     
    Export citation  
     
    Bookmark   38 citations  
  • Reasoning About Knowledge.Ronald Fagin, Joseph Halpern, Yorav Moses & Moshe Vardi - 1999 - Studia Logica 63 (1):128-136.
     
    Export citation  
     
    Bookmark   124 citations  
  • On the Interpretation of Decision Problems with Imperfect Recall.Ariel Rubinstein - unknown
    This paper is an examination of some modelling problems regarding imperfect recall within the model of extensive games. It is argued that, if the assumption of perfect recall is violated, care must be taken in interpreting the main elements of the model. Interpretations that are inconsequential under perfect recall have important implications in the analysis of games with imperfect recall.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations