31 found
Order:
  1.  24
    Together we know how to achieve: An epistemic logic of know-how.Pavel Naumov & Jia Tao - 2018 - Artificial Intelligence 262 (C):279-300.
  2.  23
    An epistemic logic of blameworthiness.Pavel Naumov & Jia Tao - 2020 - Artificial Intelligence 283 (C):103269.
  3.  18
    Data-informed knowledge and strategies.Junli Jiang & Pavel Naumov - 2022 - Artificial Intelligence 309 (C):103727.
  4.  22
    Knowing-how under uncertainty.Pavel Naumov & Jia Tao - 2019 - Artificial Intelligence 276 (C):41-56.
  5.  26
    Everyone knows that someone knows: Quantifiers over epistemic agents.Pavel Naumov & Jia Tao - 2019 - Review of Symbolic Logic 12 (2):255-270.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  47
    An Independence Relation for Sets of Secrets.Sara Miner More & Pavel Naumov - 2010 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  31
    Marketing impact on diffusion in social networks.Pavel Naumov & Jia Tao - 2017 - Journal of Applied Logic 20:49-74.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  12
    Logic of secrets in collaboration networks.Sara More & Pavel Naumov - 2011 - Annals of Pure and Applied Logic 162 (12):959-969.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  28
    A Dynamic Logic of Data-Informed Knowledge.Kaya Deuser, Junli Jiang, Pavel Naumov & Wenxuan Zhang - 2024 - Journal of Philosophical Logic 53 (2):521-557.
    With agents relying more and more on information from central servers rather than their own sensors, knowledge becomes property not of a specific agent but of the data that the agents can access. The article proposes a dynamic logic of data-informed knowledge that describes an interplay between three modalities and one relation capturing the properties of this form of knowledge. The main technical results are the undefinability of two dynamic operators through each other, a sound and complete axiomatisation, and a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  78
    Logic of secrets in collaboration networks.Sara Miner More & Pavel Naumov - 2011 - Annals of Pure and Applied Logic 162 (12):959-969.
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  48
    Rationally Functional Dependence.Pavel Naumov & Brittany Nicholls - 2014 - Journal of Philosophical Logic 43 (2-3):603-616.
    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 (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  17
    If You’re Happy, Then You Know It: The Logic of Happiness... and Sadness.Sanaz Azimipour & Pavel Naumov - forthcoming - Logic and Logical Philosophy.
    The article proposes a formal semantics of happiness and sadness modalities in the imperfect information setting. It shows that these modalities are not definable through each other and gives a sound and complete axiomatization of their properties.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  39
    Logic of confidence.Pavel Naumov & Jia Tao - 2015 - Synthese 192 (6):1821-1838.
    The article studies knowledge in multiagent systems where data available to the agents may have small errors. To reason about such uncertain knowledge, a formal semantics is introduced in which indistinguishability relations, commonly used in the semantics for epistemic logic S5, are replaced with metrics to capture how much two epistemic worlds are different from an agent’s point of view. The main result is a logical system sound and complete with respect to the proposed semantics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  31
    On Modal Logics of Partial Recursive Functions.Pavel Naumov - 2005 - 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 (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  23
    Price of privacy.Pavel Naumov & Jia Tao - 2017 - Journal of Applied Logic 20:32-48.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  21
    Functional Dependence in Strategic Games.Kristine Harjes & Pavel Naumov - 2016 - Notre Dame Journal of Formal Logic 57 (3):341-353.
    The article studies properties of functional dependencies between strategies of players in Nash equilibria of multiplayer strategic games. The main focus is on the properties of functional dependencies in the context of a fixed dependency graph for payoff functions. A logical system describing properties of functional dependence for any given graph is proposed and is proven to be complete.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  25
    An epistemic logic of preferences.Anna Ovchinnikova & Pavel Naumov - 2023 - Synthese 201 (3):1-36.
    The article studies preferences of agents in a setting with imperfect information. For such a setting, the authors propose a new class of preferences. It is said that an agent prefers one statement over another if, among all indistinguishable worlds, the agent prefers the worlds where the first statement is true to those where the second one is true. The main technical result is a sound and complete logical system describing the interplay between a binary modality capturing preferences and the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  13
    On modal logic of deductive closure.Pavel Naumov - 2006 - Annals of Pure and Applied Logic 141 (1):218-224.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  12
    An Egocentric Logic of Knowing How to Tell Them Apart.Pavel Naumov & T. A. O. Jia - forthcoming - Journal of Symbolic Logic:1-33.
    Traditionally, the formulae in modal logic express properties of possible worlds. Prior introduced “egocentric” logics that capture properties of agents rather than of possible worlds. In such a setting, the article proposes the modality “know how to tell apart” and gives a complete logical system describing the interplay between this modality and the knowledge modality. An important contribution of this work is a new matrix-based technique for proving completeness theorems in an egocentric setting.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  9
    Counterfactual and seeing-to-it responsibilities in strategic games.Pavel Naumov & Jia Tao - 2023 - Annals of Pure and Applied Logic 174 (10):103353.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  21
    Fault tolerance in belief formation networks.Sarah Holbrook & Pavel Naumov - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 267--280.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  19
    Independence in Information Spaces.Pavel Naumov - 2012 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  8
    Axiomatic theory of betweenness.Sanaz Azimipour & Pavel Naumov - 2020 - Archive for Mathematical Logic 60 (1):227-239.
    Betweenness as a relation between three individual points has been widely studied in geometry and axiomatized by several authors in different contexts. The article proposes a more general notion of betweenness as a relation between three sets of points. The main technical result is a sound and complete logical system describing universal properties of this relation between sets of vertices of a graph.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  5
    Knowing the price of success.Rui Cao & Pavel Naumov - 2020 - Artificial Intelligence 284 (C):103287.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  12
    On composition of bounded-recall plans.Kaya Deuser & Pavel Naumov - 2020 - Artificial Intelligence 289 (C):103399.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  19
    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  
  27.  24
    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  
  28.  22
    Group Conformity in Social Networks.Colby Morrison & Pavel Naumov - 2020 - Journal of Logic, Language and Information 29 (1):3-19.
    Diffusion in social networks is a result of agents’ natural desires to conform to the behavioral patterns of their peers. In this article we show that the recently proposed “propositional opinion diffusion model” could be used to model an agent’s conformity to different social groups that the same agent might belong to, rather than conformity to the society as whole. The main technical contribution of this article is a sound and complete logical system describing the properties of the influence relation (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  53
    On interchangeability of Nash equilibria in multi-player strategic games.Pavel Naumov & Brittany Nicholls - 2013 - 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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  30.  39
    On meta complexity of propositional formulas and propositional proofs.Pavel Naumov - 2008 - 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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31.  59
    Upper bounds on complexity of Frege proofs with limited use of certain schemata.Pavel Naumov - 2006 - 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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark