Switch to: Citations

References in:

A Logic-Based Approach to Pluralistic Ignorance

In Jonas De Vuyst & Lorenz Demey (eds.), Future Directions for Logic: Proceedings of PhDs in Logic II. College Publications. pp. 67-80 (2012)

Add references

You must login to add references.
  1. Agents' abilities.Alfred R. Mele - 2003 - Noûs 37 (3):447–470.
    Claims about agents’ abilities—practical abilities—are common in theliterature on free will, moral responsibility, moral obligation, personalautonomy, weakness of will, and related topics. These claims typicallyignore differences among various kinds or levels of practical ability. Inthis article, using ‘A’ as an action variable, I distinguish among threekinds or levels: simple ability toA; ability toAintentionally; and a morereliable kind of ability toAassociated with promising toA. I believe thatattention to them will foster progress on the topics I mentioned. Substan-tiating that belief—by making progress (...)
    Download  
     
    Export citation  
     
    Bookmark   86 citations  
  • Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge, Mass.: 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 ...
    Download  
     
    Export citation  
     
    Bookmark   363 citations  
  • Comparing semantics of logics for multi-agent systems.Valentin Goranko & Wojciech Jamroga - 2004 - Synthese 139 (2):241 - 280.
    We draw parallels between several closely related logics that combine — in different proportions — elements of game theory, computation tree logics, and epistemic logics to reason about agents and their abilities. These are: the coalition game logics CL and ECL introduced by Pauly 2000, the alternating-time temporal logic ATL developed by Alur, Henzinger and Kupferman between 1997 and 2002, and the alternating-time temporal epistemic logic ATEL by van der Hoek and Wooldridge (2002). In particular, we establish some subsumption and (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Rational Dynamics and Epistemic Logic in Games.Johan van Benthem - unknown
    Game-theoretic solution concepts describe sets of strategy profiles that are optimal for all players in some plausible sense. Such sets are often found by recursive algorithms like iterated removal of strictly dominated strategies in strategic games, or backward induction in extensive games. Standard logical analyses of solution sets use assumptions about players in fixed epistemic models for a given game, such as mutual knowledge of rationality. In this paper, we propose a different perspective, analyzing solution algorithms as processes of learning (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations