6 found
Order:
  1.  45
    Thomas Müller, Nuel Belnap & Kohei Kishida (2008). Funny Business in Branching Space-Times: Infinite Modal Correlations. Synthese 164 (1):141 - 159.
    The theory of branching space-times is designed as a rigorous framework for modelling indeterminism in a relativistically sound way. In that framework there is room for “funny business”, i.e., modal correlations such as occur through quantum-mechanical entanglement. This paper extends previous work by Belnap on notions of “funny business”. We provide two generalized definitions of “funny business”. Combinatorial funny business can be characterized as “absence of prima facie consistent scenarios”, while explanatory funny business characterizes situations in which no localized explanation (...)
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   15 citations  
  2.  24
    Tomasz Placek, Nuel Belnap & Kohei Kishida (2013). On Topological Issues of Indeterminism. Erkenntnis 79 (S3):1-34.
    Indeterminism, understood as a notion that an event may be continued in a few alternative ways, invokes the question what a region of chanciness looks like. We concern ourselves with its topological and spatiotemporal aspects, abstracting from the nature or mechanism of chancy processes. We first argue that the question arises in Montague-Lewis-Earman conceptualization of indeterminism as well as in the branching tradition of Prior, Thomason and Belnap. As the resources of the former school are not rich enough to study (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  3.  84
    Steve Awodey & Kohei Kishida (2008). Topology and Modality: The Topological Interpretation of First-Order Modal Logic. Review of Symbolic Logic 1 (2):146-166.
    As McKinsey and Tarksi showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for propositional modal logic, in which the "necessity" operation is modeled by taking the interior of an arbitrary subset of a topological space. in this paper the topological interpretation is extended in a natural way to arbitrary theories of full first-order logic. The resulting system of S4 first-order modal logic is complete with respect to such topological semantics.
    Direct download (13 more)  
     
    Export citation  
     
    My bibliography  
  4. Thomas Müller, Nuel Belnap & Kohei Kishida (2008). Funny Business in Branching Space-Times: Infinite Modal Correlations. Synthese 164 (1):141-159.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  5.  6
    Jort M. Bergfeld, Kohei Kishida, Joshua Sack & Shengyang Zhong (2015). Duality for the Logic of Quantum Actions. Studia Logica 103 (4):781-805.
    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 show (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. Steve Awodey, Kohei Kishida & Hans-Cristoph Kotzsch, Topos Semantics for Higher-Order Modal Logic.
    We define the notion of a model of higher-order modal logic in an arbitrary elementary topos E. In contrast to the well-known interpretation of higher-order logic, the type of propositions is not interpreted by the subobject classifier ΩE, but rather by a suitable complete Heyting algebra H. The canonical map relating H and ΩE both serves to interpret equality and provides a modal operator on H in the form of a comonad. Examples of such structures arise from surjective geometric morphisms (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography