5 found
Sort by:
  1. Lorenz Demey, Barteld Kooi & Joshua Sack (forthcoming). Logic and Probability. Stanford Encyclopedia of Philosophy.
    No categories
     
    My bibliography  
     
    Export citation  
  2. Joshua Sack & Wiebe van der Hoek (2014). A Modal Logic for Mixed Strategies. Studia Logica 102 (2):339-360.
    Modal logics have proven to be a very successful tool for reasoning about games. However, until now, although logics have been put forward for games in both normal form and games in extensive form, and for games with complete and incomplete information, the focus in the logic community has hitherto been on games with pure strategies. This paper is a first to widen the scope to logics for games that allow mixed strategies. We present a modal logic for games in (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Joshua Sack (2010). Logic for Update Products and Steps Into the Past. Annals of Pure and Applied Logic 161 (12):1431-1461.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Joshua Sack (2009). Extending Probabilistic Dynamic Epistemic Logic. Synthese 169 (2):241 - 257.
    This paper aims to extend in two directions the probabilistic dynamic epistemic logic provided in Kooi’s paper (J Logic Lang Inform 12(4):381–408, 2003) and to relate these extensions to ones made in van Benthem et al. (Proceedings of LOFT’06. Liverpool, 2006). Kooi’s probabilistic dynamic epistemic logic adds to probabilistic epistemic logic sentences that express consequences of public announcements. The paper (van Benthem et al., Proceedings of LOFT’06. Liverpool, 2006) extends (Kooi, J Logic Lang Inform 12(4):381–408, 2003) to using action models, (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Joshua Sack (2008). Temporal Languages for Epistemic Programs. Journal of Logic, Language and Information 17 (2):183-216.
    This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statements concerning the muddy children puzzle and sum and product. We also express a true statement that an agent’s beliefs about another agent’s knowledge flipped twice, and use a sound proof system to prove this statement. Adding a next-time operator to PAL, we provide formulas that express that belief revision does not take place (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation