1. P. Naumov, J. Tao, Together We Know How to Achieve: An Epistemic Logic of Know-How, 16th conference on Theoretical Aspects of Rationality and Knowledge (TARK 17), Liverpool, United Kingdom, July 24-26, 2017
     
  2. R. Cao, P. Naumov, Budget-Constrained Dynamics in Multiagent Systems, 26th International Joint Conference on Artificial Intelligence (IJCAI 17), Melbourne, Australia, August 19-25, 2017 

  3. S. Azimipour, P. Naumov, Lighthouse Principle for Diffusion in Social NetworksJournal of Applied Logic (to appear)

  4. P. Naumov, J. Tao, Everyone Knows that Someone Knows: Quantifiers over Epistemic Agents, The Review of Symbolic Logic (to appear)

  5. P. Naumov, J. Tao, Coalition Power in Epistemic Transition Systems, Proceedings of the 16th International Conference  on  Autonomous  Agents  and  Multiagent  Systems  (AAMAS  2017),  S.  Das,  E.  Durfee,  K.  Larson,  M.  Winikoff (eds.), May 8–12, 2017, São Paulo, Brazil,  pp. 723-731 

  6. P. Naumov, J. Tao, Price of PrivacyJournal of Applied Logic, v. 20, pp. 32-48, 2017 

  7. P. Naumov, J. Tao, Information Flow under Budget Constraints, 15th European Conference On Logics In Artificial Intelligence (JELIA 16), Larnaca, Cyprus, November 2016

  8. P. Naumov, J. Tao, Marketing Impact on Diffusion in Social NetworksJournal of Applied Logic, v. 20, pp. 49-74, 2017 

  9. P. Naumov, J. Tao, Price of Privacy, Proceedings of Twelfth Conference on Logic and the Foundations of Game and Decision Theory (LOFT 16), Maastricht, Netherlands, July 2016

  10. P. Naumov, J. Tao, Marketing Impact on Diffusion in Social Networks, Proceedings of Twelfth Conference on Logic and the Foundations of Game and Decision Theory (LOFT 16), Maastricht, Netherlands, July 2016

  11. P. Naumov, J. Tao, Knowledge in Communication NetworksJournal of Logic and Computation (to appear)

  12. P. Naumov, J. Tao, A Modal Logic for Reasoning about Economic Policies, Journal of Logic and Computation, (2017) 27 (1): 395-412

  13. P. Naumov, J. Tao, Budget-Constrained Knowledge in Multiagent Systems, 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 15), Bordini, Elkind, Weiss, Yolum (eds.), May, 4–8, 2015, Istanbul, Turkey, pp. 219-226, International Foundation for Autonomous Agents and Multiagent Systems, 2015.

  14. P. Naumov, J. Tao, Logic of Confidence, Synthese (2015): v. 192, n. 6, pp. 1821-1838.

  15. P. Naumov, M. Protzman, Equilibria Interchangeability in Cellular Games, Journal of Logic and Computation, 26 (5): 1637-1661, 2014 

  16. Z. Heckle, P. Naumov, Common Knowledge Semantics of Armstrong’s Axioms,  Proceedings of 21st Workshop on Logic, Language,  Information, and Computation, Ulrich Kohlenbach, Pablo Barceló, and Ruy de Queiroz (Eds.) Proceedings of 21st Workshop on Logic, Language, Information and Computation (WoLLIC 14), September 2014, Valparaiso, Chile, pp 181-194, Springer 2014. 

  17. P. Naumov, M. Protzman, Conditional Interchangeability of Nash Equilibria,  Journal of Logic and Computation (to appear)

  18. P. Naumov, M. Protzman, Equilibria Interchangeability in Cellular Games, Proceedings of Eleventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT 14), Bergen, Norway, July 2014 

  19. J. Kane, P. Naumov, The Ryoan-ji Axiom for Common Knowledge on Hypergraphs,   Synthese, Volume 191, Issue 14, pp 3407-3426, 2014. 

  20. K. Harjes, P. Naumov, Functional Dependence in Strategic Games,  Notre Dame Journal of Formal Logic, Volume 57, Number 3 (2016), 341-353 

  21. J. Kane, P. Naumov, Symmetry in Information FlowAnnals of Pure and Applied Logic, 165(1), pp. 253-265, 2014 

  22. P. Naumov, I. Simonelli, Strict Equilibria Interchangeability in Multi-Player Zero-Sum Games, Journal of Logic and Computation 24 (4): 851-861, 2014. 

  23. P. Naumov, B. Nicholls,  Rationally Functional Dependence, Journal of Philosophical Logic, Volume 43, Issue 2 (2014), Page 603-616  

  24. K. Harjes, P. Naumov, Cellular Games, Nash Equilibria, and Fibonacci Numbers, Proceedings of 4th International Workshop on Logic, Rationality, and Interaction, Hangzhou, China, October 9-12, 2013, pp. 149-161

  25. J. Kane, P. Naumov, Symmetries and Epistemic Reasoning, Proceedings of 14th International Workshop on Computational Logic in Multi-Agent Systems, Coruña, Spain, September 16-18, 2013, pp. 190-205

  26. P. Naumov, B. Nicholls, On Interchangeability of Nash Equilibria in Multi-Player Strategic Games, Synthese, v. 190, Issue 1 Supplement, pp 57-78, 2013

  27. K. Harjes, P. Naumov, Functional Dependence in Strategic Games, In Fabio Mogavero, Aniello Murano and Moshe Y. Vardi: Proceedings of 1st International Workshop on Strategic Reasoning (SR 13), Rome, Italy, March 16-17, 2013, Electronic Proceedings in Theoretical Computer Science 112, pp. 9-15.

  28. J. Kane, P. Naumov, Epistemic Logic for Communication Chains, Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 13), pp. 131-137, Chennai, India, January 2013

  29. P. Naumov, B. Nicholls, R.E. Axiomatization of Conditional Independence, Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 13), pp. 148-155, Chennai, India, January 2013

  30. P. Naumov, Independence in Information SpacesStudia Logica, v. 100, pp. 953-973, 2012

  31. S. Holbrook, P. Naumov, Fault Tolerance in Belief Formation Networks, 13th European Conference on Logics in Artificial Intelligence (JELIA 12), September 26-28, 2012, Toulouse, France, pp. 267-280, Springer 2012

  32. S. Miner More, P. Naumov, Calculus of Cooperation and Game-Based Reasoning about Protocol Privacy, ACM Transactions on Computational Logic, 13(3):22 (2012)

  33. P. Naumov, I. Simonelli, Strict Equilibria Interchangeability in Multi-Player Zero-Sum Games, 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 12), June 18-20, 2012, University of Sevilla, Spain

  34. P. Naumov, B. Nicholls, Rationally Functional Dependence, 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 12), June 18-20, 2012, University of Sevilla, Spain

  35. S. Miner More, P. Naumov, Hypergraphs of Multiparty SecretsAnnals of Mathematics and Artificial Intelligence, 62(1-2): 79-101, 2011

  36. S. Miner More, P. Naumov, Logic of Secrets in Collaboration Networks, Annals of Pure and Applied Logic, 162(12):959-969, 2011.

  37. P. Naumov, B. Nicholls, Game Semantics for the Geiger-Paz-Pearl Axioms of Independence, Proceedings of the Third International Workshop on Logic, Rationality and Interaction (LORI III), Guangzhou (Canton), China, October 2011, LNAI 6953, pp. 220-232, Springer 2011

  38. S. Miner More, P. Naumov, B. Sapp, Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence, in 20th Conference on Computer Science Logic (CSL 11), Bergen, Norway, pp. 443-457, September 2011

  39. S. Miner More, P. Naumov, Functional Dependence on Hypergraphs of Multiparty Secrets, in 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII), Barcelona, Spain, July 2011, LNAI 6814, pp. 29-40, Springer 2011

  40. S. Miner More, P. Naumov, B. Nicholls, A. Yang, A Ternary Knowledge Relation on Secrets, in Krzysztof R. Apt (Ed.): Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 11), Groningen, The Netherlands, July 2011. ACM 2011, pp. 46-54

  41. M. Donders, S. Miner More, P. Naumov, Information Flow on Directed Acyclic Graphs (full version), in Lev D. Beklemishev, Ruy de Queiroz (Eds.): Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 2011. Proceedings. LNCS 6642 Springer 2011, pp. 95-109

  42. R. Kelvey, S. Miner More, P. Naumov, and B. Sapp, Independence and Functional Dependence Relations on Secrets, 12th International Conference on the Principles of Knowledge Representation and Reasoning, (KR 10), Toronto, Canada, May 2010, pp. 528-533 

  43. S. Miner More, P. Naumov, Hypergraphs of Multiparty Secrets, 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XI (Lisbon, Portugal), LNAI 6245, pp. 15-32. Springer, 2010. 

  44. S. Miner More, P. Naumov, An Independence Relation for Sets of Secrets, Studia Logica, v.94(1):73-85, 2010 

  45. S. Miner More, P. Naumov, On Interdependence of Secrets in Collaboration Networks, 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 09), July 2009, Stanford University, pp. 208-217 

  46. S. Miner More, P. Naumov, An Independence Relation for Sets of Secrets, 16th Workshop on Logic, Language, Information and Computation (WoLLIC 09), Tokyo, Japan, June 2009, pp. 296-304 

  47. Pavel Naumov, On Meta Complexity of Propositional Formulas and Propositional Proofs, Archive for Mathematical Logic, pp. 35-52, v. 47, n. 1, 2008 

  48. Pavel Naumov, Upper Bounds on Complexity of Frege Proofs with Limited Use of Certain Schemata, Archive for Mathematical Logic, pp. 432-446, v. 45, 2006 

  49. Pavel Naumov, On Modal Logic of Deductive Closure, Annals of Pure and Applied Logic, pp. 218-224, v. 141, n.1-2, 2006

  50. Pavel Naumov, Logic of Subtyping, Theoretical Computer Science, pp. 167-185, v. 357, n.1-3, 2006 

  51. Pavel Naumov, On Modal Logics of Partial Recursive Functions, Studia Logica, pp. 295-309, v. 81, 2005 

  52. P. Naumov, M.-O. Stehr, and J. Meseguer, The HOL/NuPRL Proof Translator: A Practical Approach to Formal Interoperatability, The 14th International Conference on Theorem Proving in Higher Order Logics, Edinburgh, Scotland, September 2001, pp. 329-345, Springer, Lecture Notes in Computer Science 

  53. M.-O. Stehr, P. Naumov, and J. Meseguer, A Proof-Theoretic Approach to HOL-Nuprl Connection with Applications to Proof Translation, 15th International Workshop on Algebraic Development Techniques/General Workshop of the Common Framework Initiative, Genova, Italy, April 2001, pp. 329-345

  54. R. Constable, P. Jackson, P. Naumov, and J. Uribe, Constructively Formalizing Automata Theory, in Proof, Language, and Interaction: Essays in Honour of Robin Milner, MIT Press, 2000 

  55. Pavel Naumov, Undecidability of Second Order Provability Logic with Witness Comparison, Moscow University Mathematics Bulletin, v. 48, 1993, n. 3, pp. 13-15. Vestnik Moskovskogo Universiteta. Seriya I. Matematika, Mekhanika, v. 48, n. 3, 1993, pp. 14-17 (Russian) 

  56. Pavel Naumov, Undecidability of Goedel-Loeb Logic with Quantifiers over Propositional Variables, Moscow University Mathematics Bulletin, v. 48, 1993, n. 2, pp. 11-13. Vestnik Moskovskogo Universiteta. Seriya I. Matematika, Mekhanika, v. 48, n. 2, 1993, pp. 13-16 (Russian) 

  57. Pavel Naumov, Modal logics that are conservative over intuitionistic predicate calculus, Moscow University Mathematics Bulletin, v. 46, n. 6, 1991, pp. 58-61. Vestnik Moskovskogo Universiteta. Seriya I. Matematika, Mekhanika, v. 46, n. 6, 1991, pp. 86-90 (Russian)