Following the tradition in theoretical fields, most coauthors are listed in alphabetical order. The names of student coauthors are in bold.
Book
Junli Jiang and Pavel Naumov. “Data-Informed Knowledge, Beliefs, and Strategies”, Fourthcoming with Springer-Nature
Journal Articles
2026
Pavel Naumov and Wenxuan Zhang. “Information Walls and Norm-Dependent Abilities”. In: Synthese 207 (2026), p. 39 [pdf]
2025
Pavel Naumov and Xinran Zhang. “Epistemic Logic with Agentically Non-rigid Designators.” In: Journal of Philosophical Logic (2025) [pdf]
Pavel Naumov and Jia Tao. “An egocentric logic of knowing how to tell them apart.” In: The Journal of Symbolic Logic 90.3 (2025), pp. 1147–1179 [pdf]
Pavel Naumov, Anshika Prajapati, and Jia Tao. “An Epistemic Perspective on Subjective and Objective Time.” In: Journal of Philosophical Logic (2025) [pdf]
Zhuyu Li and Pavel Naumov. “Classical Implication for Three-Valued Logic”, In: Journal of Logic, Language, and Information (2025) [pdf]
Qi Shi and Pavel Naumov. “Responsibility in Multi-Step Decision Schemes.” In: Journal of Philosophical Logic 54 (2025), pp. 493–531 [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]
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, Vahid Yazdanpanah, and Jie Zhan. “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
2026
Pavel Naumov. “Responsible Mechanism Design.” In: Proceedings of the AAAI Conference on Artificial Intelligence, Senior Member Track: Blue Sky Ideas. Vol. 40. 2026 [pdf]
Qi Shi and Pavel Naumov. “A Graph-Theoretical Perspective on Law Design for Multiagent Systems”. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 40. 2026 [pdf]
Junli Jiang and Pavel Naumov. “Higher-Order Responsibility”. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 40. 2026 [pdf]
Pavel Naumov and Alexandra Pavlova. “An Epistemic Perspective on Agent Awareness”. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 40. 2026 [pdf]
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]