Order:
  1.  15
    The Ryōan-Ji Axiom for Common Knowledge on Hypergraphs.Jeffrey Kane & Pavel Naumov - 2014 - Synthese 191 (14):3407-3426.
    The article studies common knowledge in communication networks with a fixed topological structure. It introduces a non-trivial principle, called the Ryōan-ji axiom, which captures logical properties of common knowledge of all protocols with a given network topology. A logical system, consisting of the Ryōan-ji axiom and two additional axioms, is proven to be sound and complete.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  12
    Symmetry in Information Flow.Jeffrey Kane & Pavel Naumov - 2014 - Annals of Pure and Applied Logic 165 (1):253-265.
    The article investigates information flow properties of symmetric multi-party protocols. It gives a sound and complete axiomatic system for properties of the functional dependence predicate that are common to all protocols with the same group of symmetries.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. A Philosophical Analysis of Michael Polanyi's Concepts of Indwelling and Heuristic Vision in the Process of Scientific Inquiry and Discovery.Jeffrey Kane - 1982
     
    Export citation  
     
    Bookmark  
  4. Beyond Empiricism: Michael Polanyi Reconsidered.Jeffrey Kane - 1986 - British Journal for the Philosophy of Science 37 (3):375-377.