profile picture

Pavel Naumov

University of Southampton
 More details
  •  24
    The Ryōan-ji axiom for common knowledge on hypergraphs
    with Jeffrey Kane
    Synthese 191 (14): 3407-3426. 2014.
    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
    Areas of Mathematics
  •  13
    On modal logic of deductive closure
    Annals of Pure and Applied Logic 141 (1): 218-224. 2006.
    A new modal logic is introduced. It describes properties of provability by interpreting modality as a deductive closure operator on sets of formulas. Logic is proven to be decidable and complete with respect to this semantics
    Science, Logic, and MathematicsModal and Intensional Logic