12 found
Sort by:
  1. Jeffrey Kane & Pavel Naumov (2014). Symmetry in Information Flow. Annals of Pure and Applied Logic 165 (1):253-265.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Pavel Naumov & Brittany Nicholls (2013). On Interchangeability of Nash Equilibria in Multi-Player Strategic Games. Synthese 190 (S1):1-22.
    The article studies properties of interchangeability of pure, mixed, strict, and strict mixed Nash equilibria. The main result is a sound and complete axiomatic system that describes properties of interchangeability in all four settings. It has been previously shown that the same axiomatic system also describes properties of independence in probability theory, nondeducibility in information flow, and non-interference in concurrency theory.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Pavel Naumov & Brittany Nicholls (2013). Rationally Functional Dependence. Journal of Philosophical Logic:1-14.
    Two different types of functional dependencies are compared: dependencies that are functional due to the laws of nature and dependencies that are functional if all involved agents behave rationally. The first type of dependencies was axiomatized by Armstrong. This article gives a formal definition of the second type of functional dependencies in terms of strategic games and describes a sound and complete axiomatization of their properties. The axiomatization is significantly different from the Armstrong’s axioms.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Sarah Holbrook & Pavel Naumov (2012). Fault Tolerance in Belief Formation Networks. In. In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. 267--280.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Pavel Naumov (2012). Independence in Information Spaces. Studia Logica 100 (5):953-973.
    Three different types of interdependence between pieces of information, or "secrets", are discussed and compared. Two of them, functional dependence and non-deducibility, have been studied and axiomatized before. This article introduces a third type of interdependence and provides a complete and decidable axiomatization of this new relation.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Sara Miner More & Pavel Naumov (2011). Logic of Secrets in Collaboration Networks. Annals of Pure and Applied Logic 162 (12):959-969.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. Sara Miner More & Pavel Naumov (2010). An Independence Relation for Sets of Secrets. Studia Logica 94 (1):73 - 85.
    A relation between two secrets, known in the literature as nondeducibility , was originally introduced by Sutherland. We extend it to a relation between sets of secrets that we call independence . This paper proposes a formal logical system for the independence relation, proves the completeness of the system with respect to a semantics of secrets, and shows that all axioms of the system are logically independent.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Pavel Naumov (2010). Sara Miner More. Studia Logica 94:1-13.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Pavel Naumov (2008). On Meta Complexity of Propositional Formulas and Propositional Proofs. Archive for Mathematical Logic 47 (1):35-52.
    A new approach to defining complexity of propositional formulas and proofs is suggested. Instead of measuring the size of these syntactical structures in the propositional language, the article suggests to define the complexity by the size of external descriptions of such constructions. The main result is a lower bound on proof complexity with respect to this new definition of complexity.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Pavel Naumov (2006). On Modal Logic of Deductive Closure. Annals of Pure and Applied Logic 141 (1):218-224.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Pavel Naumov (2006). Upper Bounds on Complexity of Frege Proofs with Limited Use of Certain Schemata. Archive for Mathematical Logic 45 (4):431-446.
    The paper considers a commonly used axiomatization of the classical propositional logic and studies how different axiom schemata in this system contribute to proof complexity of the logic. The existence of a polynomial bound on proof complexity of every statement provable in this logic is a well-known open question.The axiomatization consists of three schemata. We show that any statement provable using unrestricted number of axioms from the first of the three schemata and polynomially-bounded in size set of axioms from the (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Pavel Naumov (2005). On Modal Logics of Partial Recursive Functions. Studia Logica 81 (3):295 - 309.
    The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends propositional language by a new binary modality that corresponds to partial recursive function type constructor under the above interpretation. The cases of deterministic and non-deterministic functions are considered and for both of them semantically complete modal logics are described and decidability of these logics is established.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation