6 found
Sort by:
  1. Jort M. Bergfeld, Kohei Kishida, Joshua Sack & Shengyang Zhong (forthcoming). Duality for the Logic of Quantum Actions. Studia Logica:1-25.
    In this paper we show a duality between two approaches to represent quantum structures abstractly and to model the logic and dynamics therein. One approach puts forward a “quantum dynamic frame” :2267–2282, 2005), a labelled transition system whose transition relations are intended to represent projections and unitaries on a Hilbert space. The other approach considers a “Piron lattice” , which characterizes the algebra of closed linear subspaces of a Hilbert space. We define categories of these two sorts of structures and (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Lorenz Demey, Barteld Kooi & Joshua Sack (forthcoming). Logic and Probability. Stanford Encyclopedia of Philosophy.
    No categories
     
    My bibliography  
     
    Export citation  
  3. 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  
  4. 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  
  5. 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  
  6. 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