Journal Articles
Following the tradition in theoretical fields, most coauthors are listed in alphabetical order. The names of student coauthors are in bold.
2025
Zhuyu Li and Pavel Naumov. “Classical Implication for Three-Valued Logic”, In: Journal of Logic, Language, and Information (2025). (forthcoming)
Qi Shi and Pavel Naumov. “Responsibility in Multi-Step Decision Schemes.” In: Journal of Philosophical Logic 54 (2025), pp. 493–53 [pdf]
Pavel Naumov and Kevin Ros. “Comprehension and Knowledge.” In: Journal of Logic, Language, and Information 34 (2025), pp. 169–196 [pdf]
Junli Jiang and Pavel Naumov. “De re/de dicto distinction: a logicians’ perspective on data anonymity.” In: Journal of Cybersecurity 11.1 (2025), tyae025 [pdf]
Pavel Naumov and Chenyang Wu. “Egocentric Doxastic Logic.” In: Logic and Logical Philosophy (2025), pp. 1–23 [pdf]
2024
Junli Jiang and Pavel Naumov. “A logic of higher-order preferences.” In: Synthese 203.6 (2024), p. 210 [pdf]
Junli Jiang and Pavel Naumov. “A logic of trust-based beliefs.” In: Synthese 204.2 (2024), p. 46 [pdf]
Sanaz Azimipour and Pavel Naumov. “If you’re happy, then you know it: the logic of happiness… and sadness.” In: Logic and Logical Philosophy (2024) [pdf]
Xiulin Cui and Pavel Naumov. “Responsibility in Infinite Games.” In: Notre Dame Journal of Formal Logic 65.4 (2024), pp. 415–430 [pdf]
Kaya Deuser, Junli Jiang, Pavel Naumov, and Wenxuan Zhang. “A Dynamic Logic of Data-Informed Knowledge.” In: Journal of Philosophical Logic 53.2 (2024), pp. 521–557 [pdf]
Sophia Epstein, Pavel Naumov, and Jia Tao. “An egocentric logic of de dicto and de re knowing who.” In: Journal of Logic and Computation 34.7 (2024), pp. 1347–1376 [pdf]
2023
Pavel Naumov and Jia Tao. “Counterfactual and seeing-to-it responsibilities in strategic games.” In: Annals of Pure and Applied Logic 174.10 (2023), p. 103353 [pdf]
Pavel Naumov and Jia Tao. “An egocentric logic of knowing how to tell them apart.” In: The Journal of Symbolic Logic (2023), pp. 1–33 [pdf]
Pavel Naumov and Anna Ovchinnikova. “An epistemic logic of preferences.” In: Synthese 201.3 (2023), p. 77 [pdf]
2022
Mohammad Divband Soorati, Enrico H Gerding, Enrico Marchioni, Pavel Naumov, Timothy J Norman, Sarvapali D Ramchurn, Bahar Rastegari, Adam Sobey, Sebastian Stein, Danesh Tarpore, et al. “From intelligent agents to trustworthy human-centred multiagent systems.” In: AI Communications 35.4 (2022), pp. 443–457
Junli Jiang and Pavel Naumov. “Data-informed knowledge and strategies.” In: Artificial Intelligence 309 (2022), p. 103727 [pdf]
Lia Bozzone and Pavel Naumov. “Budget-constrained coalition strategies with discounting.” In: Journal of Logic and Computation 32.4 (2022), pp. 832–851 [pdf]
Pavel Naumov and Italo Simonelli. “The Polymatrix Gap Conjecture.” In: International Game Theory Review 24.03 (2022), p. 2250005 [pdf]
2021
Pavel Naumov and Yuan Yuan. “Intelligence in strategic games.” In: Journal of Artificial Intelligence Research 71 (2021), pp. 521–556 [pdf]
Pavel Naumov and Kevin Ros. “Strategic coalitions in stochastic games.” In: Journal of Logic and Computation 31.7 (2021), pp. 1845–1867 [pdf]
Kaya Deuser and Pavel Naumov. “Strategic knowledge acquisition.” In: ACM Transactions on Computational Logic 22.3 (2021), pp. 1–18 [pdf]
Sanaz Azimipour and Pavel Naumov. “Axiomatic theory of betweenness.” In: Archive for Mathematical Logic 60 (2021), pp. 227–239 [pdf]
2020
Kaya Deuser and Pavel Naumov. “On composition of bounded-recall plans.” In: Artificial Intelligence 289 (2020), p. 103399 [pdf]
Rui Cao and Pavel Naumov. “Knowing the price of success.” In: Artificial Intelligence 284 (2020), p. 103287 [pdf]
Pavel Naumov and Jia Tao. “An epistemic logic of blameworthiness.” In: Artificial Intelligence 283 (2020), p. 103269 [pdf]
Colby Morrison and Pavel Naumov. “Group conformity in social networks.” In: Journal of Logic, Language and Information 29 (2020), pp. 3–19 [pdf]
2019
Pavel Naumov and Jia Tao. “Knowing-how under uncertainty.” In: Artificial Intelligence 276 (2019), pp. 41–56 [pdf]
Zoé Christoff and Pavel Naumov. “Diffusion in social networks with recalcitrant agents.” In: Journal of Logic and Computation 29.1 (2019), pp. 53–70 [pdf]
Pavel Naumov and Jia Tao. “Everyone knows that someone knows: quantifiers over epistemic agents.” In: The Review of Symbolic Logic 12.2 (2019), pp. 255–270 [pdf]
2018
Kaya Deuser and Pavel Naumov. “Navigability with intermediate constraints.” In: Journal of Logic and Computation 28.7 (2018), pp. 1647–1670 [pdf]
Pavel Naumov and Jia Tao. “Together we know how to achieve: An epistemic logic of know-how.” In: Artificial Intelligence 262 (2018), pp. 279–300 [pdf]
Sanaz Azimipour and Pavel Naumov. “Lighthouse Principle for Diffusion in Social Networks.” In: Journal of Applied Logics - IFCoLog Journal of Logics and their Applications 5.1 (2018), pp. 97–120 [pdf]
2017
Pavel Naumov and Jia Tao. “A modal logic for reasoning about economic policies.” In: Journal of Logic and Computation 27.1 (2017), pp. 395–412 [pdf]
Pavel Naumov and Jia Tao. “Price of privacy.” In: Journal of Applied Logic 20 (2017), pp. 32–48 [pdf]
Pavel Naumov and Jia Tao. “Knowledge in communication networks.” In: Journal of Logic and Computation 27.4 (2017), pp. 1189–1224 [pdf]
Pavel Naumov and Jia Tao. “Marketing impact on diffusion in social networks.” In: Journal of Applied Logic 20 (2017), pp. 49–74 [pdf]
Pavel Naumov and Jia Tao. “Information flow under budget constraints.” In: ACM Transactions on Computational Logic 18.4 (2017), pp. 1–26 [pdf]
2016
Kristine Harjes and Pavel Naumov. “Functional Dependence in Strategic Games.” In: Notre Dame Journal of Formal Logic 57.3 (2016) [pdf]
Pavel Naumov and Margaret Protzman. “Equilibria interchangeability in cellular games.” In: Journal of Logic and Computation 26.5 (2016), pp. 1637–1661 [pdf]
Pavel Naumov and Margaret Protzman. “Conditional interchangeability of Nash equilibria.” In: Journal of Logic and Computation 26.5 (2016), pp. 1421–1438 [pdf]
2015
Pavel Naumov and Jia Tao. “Logic of confidence.” In: Synthese 192 (2015), pp. 1821–1838 [pdf]
2014
Jeffrey Kane and Pavel Naumov. “The Ryōan-ji axiom for common knowledge on hypergraphs.” In: Synthese 191.14 (2014), pp. 3407–3426 [pdf]
Jeffrey Kane and Pavel Naumov. “Symmetry in information flow.” In: Annals of Pure and Applied Logic 165.1 (2014), pp. 253–265 [pdf]
Pavel Naumov and Italo Simonelli. “Strict equilibria interchangeability in multi-player zero-sum games.” In: Journal of Logic and Computation 24.4 (2014), pp. 851–861 [pdf]
Pavel Naumov and Brittany Nicholls. “Rationally functional dependence.” In: Journal of Philosophical Logic 43 (2014), pp. 603–616 [pdf]
2013
Pavel Naumov and Brittany Nicholls. “On interchangeability of Nash equilibria in multi-player strategic games.” In: Synthese 190.Suppl 1 (2013), pp. 57–78 [pdf]
2011
Sara Miner More and Pavel Naumov. “Logic of secrets in collaboration networks.” In: Annals of Pure and Applied Logic 162.12 (2011), pp. 959–969 [pdf]
Sara Miner More and Pavel Naumov. “Hypergraphs of multiparty secrets.” In: Annals of Mathematics and Artificial Intelligence 62 (2011), pp. 79–101 [pdf]
2010
Sara Miner More and Pavel Naumov. “An independence relation for sets of secrets.” In: Studia Logica 94 (2010), pp. 73–85 [pdf]
2008
Pavel Naumov. “On meta complexity of propositional formulas and propositional proofs.” In: Archive for Mathematical Logic 47.1 (2008), pp. 35–52 [pdf]
2006
Pavel Naumov. “Logic of subtyping.” In: Theoretical Computer Science 357.1-3 (2006), pp. 167–185 [pdf]
Pavel Naumov. “On modal logic of deductive closure.” In: Annals of Pure and Applied Logic 141.1-2 (2006), pp. 218–224 [pdf]
Pavel Naumov. “Upper bounds on complexity of Frege proofs with limited use of certain schemata.” In: Archive for Mathematical Logic 45.4 (2006), pp. 431–446 [pdf]
2005
Pavel Naumov. “On modal logics of partial recursive functions.” In: Studia Logica 81 (2005), pp. 295–309 [pdf]
1993
Pavel Naumov. “Undecidability of a second-order provability logic with operation of comparison of witnesses.” English. In: Mosc. Univ. Math. Bull. 48.3 (1993), pp. 13–15 [pdf]
Pavel Naumov. “Insolubility of Gödel-Löb logic with quantifiers of propositional variables.” English. In: Mosc. Univ. Math. Bull. 48.2 (1993), pp. 11–13 [pdf]
1991
Pavel Naumov. “On modal logics conservative over intuitionistic predicate calculus.” English. In: Mosc. Univ. Math. Bull. 46.6 (1991), pp. 86–90 [pdf]
Book Chapter
Robert L. Constable, Paul B. Jackson, Pavel Naumov, and Juan Uribe. “Constructively formalizing automata theory.” In: Proof, Language, and Interaction: Essays in Honour of Robin Milner. Cambridge, MA, USA: MIT Press, 2000, pp. 213–238 [pdf]
Peer-reviewed Proceedings
2025
Pavel Naumov and Jia Tao. “Responsibility Gap in Collective Decision Making.” In: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. 2025 [pdf]
Qi Shi and Pavel Naumov. “Uncommon belief in rationality.” In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 39. 2025, pp. 14120–14128 [pdf]
2024
Junli Jiang and Pavel Naumov. “The logic of doxastic strategies.” In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 38. 2024, pp. 19876–19883 [pdf]
2023
Junli Jiang and Pavel Naumov. “Data-informed knowledge and strategies.” In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. 2023, pp. 6910–6914 [pdf]
Pavel Naumov and Oliver Orejola. “Shhh! the logic of clandestine operations.” In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. 2023, pp. 3304–3311 [pdf]
2022
Junli Jiang and Pavel Naumov. “The Egocentric Logic of Preferences.” In: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. 2022, pp. 2676–2682 [pdf]
Junli Jiang and Pavel Naumov. “In Data We Trust: The Logic of Trust-Based Beliefs.” In: Proceedings of the 31st International Joint Conference on Artificial Intelligence. 2022, pp. 2683–2689 [pdf]
Rui Cao and Pavel Naumov. “The Limits of Morality in Strategic Games.” In: Proceedings of the 31st International Joint Conference on Artificial Intelligence. 2022, pp. 2561–2567 [pdf]
Pavel Naumov and Yuan Yuan. “Intelligence in Strategic Games (Extended Abstract).” In: Proceedings of the 31st International Joint Conference on Artificial Intelligence. 2022, pp. 5757–5761
Pavel Naumov and Wenxuan Zhang. “Prevailing in the Dark: Information Walls in Strategic Games.” In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 36. 2022, pp. 5842–5850 [pdf]
2021
Pavel Naumov and Jia Tao. “Two Forms of Responsibility in Strategic Games.” In: Proceedings the Thirtieth of the International Joint Conference on Artificial Intelligence. 2021 [pdf]
Lia Bozzone and Pavel Naumov. “Budget-Constrained Coalition Strategies with Discounting.” In: Proceedings of the 30th International Joint Conference on Artificial Intelligence. 2021, pp. 1764–1770 [pdf]
Pavel Naumov and Jia Tao. “Attainable Knowledge and Omniscience.” In: Proceedings of the 18th Conference on Theoretical Aspects of Rationality and Knowledge. Vol. 335. 2021, pp. 251–265 [pdf]
Pavel Naumov and Rui-Jie Yew. “Ethical dilemmas in strategic games.” In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 35. 2021, pp. 11613–11621 [pdf]
Sophia Epstein and Pavel Naumov. “Epistemic Logic of Know-Who.” In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 35. 2021, pp. 11487–11494 [pdf]
Pavel Naumov and Kevin Ros. “Comprehension and Knowledge.” In: Proceedings of AAAI Conference on Artificial Intelligence. Vol. 35. 2021, pp. 11479–11486 [pdf]
2020
Pavel Naumov and Jia Tao. “Knowing-How under Uncertainty (Extended Abstract).” In: Proceedings of the 29th International Joint Conference on Artificial Intelligence. 2020, pp. 5120–5124
Pavel Naumov and Jia Tao. “Duty to Warn in Strategic Games.” In: Proceedings of the 19th International Conference on Autonomous Agents and Multi-Agent Systems. 2020, pp. 904–912 [pdf]
Pavel Naumov and Jia Tao. “Blameworthiness in security games.” In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 34. 2020, pp. 2934–2941 [pdf]
2019
Pavel Naumov and Jia Tao. “Blameworthiness in strategic games.” In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 33. 2019, pp. 3011–3018 [pdf]
2018
Kaya Deuser and Pavel Naumov. “Navigability with Bounded Recall (Extended Abstract).” In: Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning. 2018, pp. 635–636 [pdf]
Pavel Naumov and Kevin Ros. “Strategic Coalitions in Systems with Catastrophic Failures (Extended Abstract).” In: Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning. 2018, pp. 659–660 [pdf]
Pavel Naumov and Jia Tao. “Second-Order Know-How Strategies.” In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems. 2018, pp. 390–398 [pdf]
Pavel Naumov and Jia Tao. “Strategic Coalitions with Perfect Recall.” In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 32. 2018, pp. 5232–5239 [pdf]
Kaya Deuser and Pavel Naumov. “Armstrong’s Axioms and Navigation Strategies.” In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 32. 2018, pp. 5239–5246 [pdf]
2017
Pavel Naumov and Jia Tao. “Together We Know How to Achieve: An Epistemic Logic of Know-How.” In: Proceedings of the 16th Conference on Theoretical Aspects of Rationality and Knowledge. 2017, pp. 441–453 [pdf]
Rui Cao and Pavel Naumov. “Budget-Constrained Dynamics in Multiagent Systems.” In: Proceedings of the 26th International Joint Conference on Artificial Intelligence. 2017, pp. 915–921 [pdf]
Pavel Naumov and Jia Tao. “Coalition Power in Epistemic Transition Systems.” In: Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems. 2017, pp. 723–731 [pdf]
2016
Pavel Naumov and Jia Tao. “Information Flow under Budget Constraints.” In: Proceedings of the 15th European Conference on Logics in Artificial Intelligence. 2016, pp. 353–368 [pdf]
Pavel Naumov and Jia Tao. “Price of Privacy.” In: Proceedings of the 12th Conference on Logic and the Foundations of Game and Decision Theory. 2016 [pdf]
Pavel Naumov and Jia Tao. “Marketing Impact on Diffusion in Social Networks.” In: Proceedings of the 12th Conference on Logic and the Foundations of Game and Decision Theory. 2016 [pdf]
2015
Pavel Naumov and Jia Tao. “Budget-Constrained Knowledge in Multiagent Systems.” In: Proceedings of the International Conference on Autonomous Agents and Multiagent Systems. 2015, pp. 219–226 [pdf]
2014
Zachary Heckle and Pavel Naumov. “Common Knowledge Semantics of Armstrong’s Axioms.” In: Proceedings of the 21st Workshop on Logic, Language, Information and Computation. 2014, pp. 181–194 [pdf]
Pavel Naumov and Margaret Protzman. “Equilibria Interchangeability in Cellular Games.” In: Proceedings of the Eleventh Conference on Logic and the Foundations of Game and Decision Theory. 2014 [pdf]
2013
Kristine Harjes and Pavel Naumov. “Cellular Games, Nash Equilibria, and Fibonacci Numbers.” In: Proceedings of the 4th International Workshop on Logic, Rationality, and Interaction. 2013, pp. 149–161 [pdf]
Jeffrey Kane and Pavel Naumov. “Symmetries and Epistemic Reasoning.” In: Proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems. 2013, pp. 190–205 [pdf]
Kristine Harjes and Pavel Naumov. “Functional Dependence in Strategic Games.” In: Proceedings of the 1st International Workshop on Strategic Reasoning. 2013, pp. 9–15 [pdf]
Jeffrey Kane and Pavel Naumov. “Epistemic Logic for Communication Chains.” In: Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge. 2013, pp. 131–137 [pdf]
Pavel Naumov and Brittany Nicholls. “R.E. Axiomatization of Conditional Independence.” In: Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge. 2013, pp. 148–155 [pdf]
2012
Sarah Holbrook and Pavel Naumov. “Fault Tolerance in Belief Formation Networks.” In: Proceedings of the 13th European Conference on Logics in Artificial Intelligence. 2012, pp. 267–280 [pdf]
Pavel Naumov and Italo Simonelli. “Strict Equilibria Interchangeability in Multi-Player Zero-Sum Games.” In: Proceedings of the 10th Conference on Logic and the Foundations of Game and Decision Theory. 2012 [pdf]
Pavel Naumov and Brittany Nicholls. “Rationally Functional Dependence.” In: Proceedings of the 10th Conference on Logic and the Foundations of Game and Decision Theory. 2012 [pdf]
2011
Pavel Naumov and Brittany Nicholls. “Game Semantics for the Geiger-Paz-Pearl Axioms of Independence.” In: Proceedings of the Third International Workshop on Logic, Rationality and Interaction. 2011, pp. 220–232 [pdf]
Sara Miner More, Pavel Naumov, and Benjamin Sapp. “Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence.” In: 20th Conference on Computer Science Logic. 2011, pp. 443–457 [pdf]
Sara Miner More, Pavel Naumov, Brittany Nicholls, and Andrew Yang. “Ternary Knowledge Relation on Secrets.” In: Thirteenth Conference on Theoretical Aspects of Rationality and Knowledge. 2011, pp. 46–54 [pdf]
Sara Miner More and Pavel Naumov. “Functional Dependence on Hypergraphs of Multiparty Secrets.” In: 12th International Workshop on Computational Logic in Multi-Agent Systems. 2011, pp. 29–40 [pdf]
Michael Donders, Sara Miner More, and Pavel Naumov. “Information Flow on Directed Acyclic Graphs.” In: 18th International Workshop on Logic, Language, Information and Computation. 2011, pp. 95–109 [pdf]
2010
Sara Miner More and Pavel Naumov. “Hypergraphs of Multiparty Secrets.” In: 11th International Workshop on Computational Logic in Multi-Agent Systems. 2010, pp. 15–32 [pdf]
Robert Kelvey, Sara Miner More, Pavel Naumov, and Benjamin Sapp. “Independence and Functional Dependence Relations on Secrets.” In: Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. 2010 [pdf]
2009
Sara Miner More and Pavel Naumov. “On Interdependence of Secrets in Collaboration Networks.” In: 12th Conference on Theoretical Aspects of Rationality and Knowledge. 2009, pp. 208–217
Sara Miner More and Pavel Naumov. “An Independence Relation for Sets of Secrets.” In: 16th Workshop on Logic, Language, Information and Computation. 2009, pp. 296–304 [pdf]
2001
Pavel Naumov, Mark-Oliver Stehr, and José Meseguer. “The HOL/NuPRL Proof Translator: A Practical Approach to Formal Interoperatability.” In: Theorem Proving in Higher Order Logics. Vol. 2152. Lecture Notes in Computer Science. Edinburgh, Scotland, 2001, pp. 329–345 [pdf]
Mark-Oliver Stehr, Pavel Naumov, and José Meseguer. “A Proof-Theoretic Approach to HOL-Nuprl Connection with Applications to Proof Translation.” In: 15th International Workshop on Algebraic Development Techniques. Genova, Italy, 2001 [pdf]