profile picture

Pavel Naumov

University of Southampton
 More details
  •  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
  •  81
    Logic of secrets in collaboration networks
    with Sara Miner More
    Annals of Pure and Applied Logic 162 (12): 959-969. 2011.
    The article proposes Logic of Secrets in Collaboration Networks, a formal logical system for reasoning about a set of secrets established over a fixed configuration of communication channels. The system’s key feature, a multi-channel relation called independence, is a generalization of a two-channel relation known in the literature as nondeducibility. The main result is the completeness of the proposed system with respect to a semantics of secrets
    Logic and Philosophy of Logic