Formalizing Reference Types in NuPRL. - Pavel Naumov (1998)

Constructively formalizing automata theory. - Robert L. Constable; Paul B. Jackson; Pavel Naumov; Juan C. Uribe (Proof, Language, and Interaction, 2000)

The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). - Pavel Naumov; Mark-Oliver Stehr; José Meseguer 001 (TPHOLs, 2001)

On Modal Logics of Partial Recursive Functions. - Pavel Naumov (Stud Logica, 2005)

Upper bounds on complexity of Frege proofs with limited use of certain schemata. - Pavel Naumov (Arch. Math. Log., 2006)

On modal logic of deductive closure. - Pavel Naumov (Ann. Pure Appl. Log., 2006)

Logic of subtyping. - Pavel Naumov (Theor. Comput. Sci., 2006)

On meta complexity of propositional formulas and propositional proofs. - Pavel Naumov (Arch. Math. Log., 2008)

On interdependence of secrets in collaboration networks. - Sara Miner More; Pavel Naumov (TARK, 2009)

Independence and Functional Dependence Relations on Secrets. - Robert Kelvey; Sara Miner More; Pavel Naumov; Benjamin Sapp (KR, 2010)

Functional Dependence of Secrets in a Collaboration Network - Sara Miner More; Pavel Naumov (CoRR, 2010)

An Independence Relation for Sets of Secrets. - Sara Miner More; Pavel Naumov (Stud Logica, 2010)

The Functional Dependence Relation on Hypergraphs of Secrets. - Sara Miner More; Pavel Naumov (CLIMA, 2011)

Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence. - Sara Miner More; Pavel Naumov; Benjamin Sapp (CSL, 2011)

Game Semantics for the Geiger-Paz-Pearl Axioms of Independence. - Pavel Naumov; Brittany Nicholls (LORI, 2011)

A ternary knowledge relation on secrets. - Sara Miner More; Pavel Naumov; Brittany Nicholls; Andrew Yang (TARK, 2011)

Information Flow on Directed Acyclic Graphs. - Michael S. Donders; Sara Miner More; Pavel Naumov (WoLLIC, 2011)

Hypergraphs of multiparty secrets. - Sara Miner More; Pavel Naumov (Ann. Math. Artif. Intell., 2011)

Logic of secrets in collaboration networks. - Sara Miner More; Pavel Naumov (Ann. Pure Appl. Log., 2011)

Fault Tolerance in Belief Formation Networks. - Sarah Holbrook; Pavel Naumov (JELIA, 2012)

Independence in Information Spaces. - Pavel Naumov (Stud Logica, 2012)

Calculus of cooperation and game-based reasoning about protocol privacy. - Sara Miner More; Pavel Naumov (ACM Trans. Comput. Log., 2012)

Symmetries and Epistemic Reasoning. - Jeffrey Kane; Pavel Naumov (CLIMA, 2013)

Cellular Games, Nash Equilibria, and Fibonacci Numbers. - Kristine Harjes; Pavel Naumov (LORI, 2013)

Epistemic Logic for Communication Chains. - Jeffrey Kane; Pavel Naumov (TARK, 2013)

R.E. Axiomatization of Conditional Independence. - Pavel Naumov; Brittany Nicholls (TARK, 2013)

Functional Dependence in Strategic Games (extended abstract) - Kristine Harjes; Pavel Naumov (SR, 2013)

On interchangeability of Nash equilibria in multi-player strategic games. - Pavel Naumov; Brittany Nicholls (Synth., 2013)

Common Knowledge Semantics of Armstrong's Axioms. - Zachary Heckle; Pavel Naumov (WoLLIC, 2014)

Symmetry in information flow. - Jeffrey Kane; Pavel Naumov (Ann. Pure Appl. Log., 2014)

Rationally Functional Dependence. - Pavel Naumov; Brittany Nicholls (J. Philos. Log., 2014)

Strict equilibria interchangeability in multi-player zero-sum games. - Pavel Naumov; Italo Simonelli (J. Log. Comput., 2014)

The Ryōan-ji axiom for common knowledge on hypergraphs. - Jeffrey Kane; Pavel Naumov (Synth., 2014)

Budget-Constrained Knowledge in Multiagent Systems. - Pavel Naumov; Jia Tao 001 (AAMAS, 2015)

The Budget-Constrained Functional Dependency. - Pavel Naumov; Jia Tao 001 (CoRR, 2015)

Logic of confidence. - Pavel Naumov; Jia Tao 001 (Synth., 2015)

Conditional interchangeability of Nash equilibria. - Pavel Naumov; Margaret Protzman (J. Log. Comput., 2016)

Equilibria interchangeability in cellular games. - Pavel Naumov; Margaret Protzman (J. Log. Comput., 2016)

Functional Dependence in Strategic Games. - Kristine Harjes; Pavel Naumov (Notre Dame J. Formal Log., 2016)

Coalition Power in Epistemic Transition Systems. - Pavel Naumov; Jia Tao 001 (AAMAS, 2017)

Budget-Constrained Dynamics in Multiagent Systems. - Rui Cao 005; Pavel Naumov (IJCAI, 2017)

Navigability with Imperfect Information. - Kaya Deuser; Pavel Naumov (CoRR, 2017)

Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract). - Pavel Naumov; Jia Tao 001 (TARK, 2017)

Price of privacy. - Pavel Naumov; Jia Tao 001 (J. Appl. Log., 2017)

Marketing impact on diffusion in social networks. - Pavel Naumov; Jia Tao 001 (J. Appl. Log., 2017)

A modal logic for reasoning about economic policies. - Pavel Naumov; Jia Tao 001 (J. Log. Comput., 2017)

Knowledge in communication networks. - Pavel Naumov; Jia Tao 001 (J. Log. Comput., 2017)

Information Flow under Budget Constraints. - Pavel Naumov; Jia Tao 001 (ACM Trans. Comput. Log., 2017)

Armstrong's Axioms and Navigation Strategies. - Kaya Deuser; Pavel Naumov (AAAI, 2018)

Strategic Coalitions With Perfect Recall. - Pavel Naumov; Jia Tao 001 (AAAI, 2018)

Second-Order Know-How Strategies. - Pavel Naumov; Jia Tao 001 (AAMAS, 2018)

Navigability with Bounded Recall. - Kaya Deuser; Pavel Naumov (KR, 2018)

Strategic Coalitions in Systems with Catastrophic Failures. - Pavel Naumov; Kevin Ros (KR, 2018)

Together we know how to achieve: An epistemic logic of know-how. - Pavel Naumov; Jia Tao 001 (Artif. Intell., 2018)

Blameworthiness in Games with Imperfect Information. - Pavel Naumov; Jia Tao 001 (CoRR, 2018)

Lighthouse Principle for Diffusion in Social Networks. - Sanaz Azimipour; Pavel Naumov (FLAP, 2018)

Navigability with intermediate constraints. - Kaya Deuser; Pavel Naumov (J. Log. Comput., 2018)

Blameworthiness in Strategic Games. - Pavel Naumov; Jia Tao 001 (AAAI, 2019)

Formation of Export Clusters in Food Trade of the Russian Federation in the Conditions of Digital Transformation of the Economy. - Elena Zhiryaeva; Vladimir Naumov; Pavel Naumov (FRUCT, 2019)

Knowing-how under uncertainty. - Pavel Naumov; Jia Tao 001 (Artif. Intell., 2019)

Ethical Dilemmas of Strategic Coalitions. - Pavel Naumov; Rui-Jie Yew (CoRR, 2019)

Diffusion in social networks with recalcitrant agents. - Zoé Christoff; Pavel Naumov (J. Log. Comput., 2019)

Everyone Knows that someone Knows: Quantifiers over Epistemic Agents. - Pavel Naumov; Jia Tao 001 (Rev. Symb. Log., 2019)

Blameworthiness in Security Games. - Pavel Naumov; Jia Tao 001 (AAAI, 2020)

Duty to Warn in Strategic Games. - Pavel Naumov; Jia Tao 001 (AAMAS, 2020)

Knowing-How under Uncertainty (Extended Abstract). - Pavel Naumov; Jia Tao 001 (IJCAI, 2020)

Knowing the price of success. - Rui Cao 005; Pavel Naumov (Artif. Intell., 2020)

On composition of bounded-recall plans. - Kaya Deuser; Pavel Naumov (Artif. Intell., 2020)

An epistemic logic of blameworthiness. - Pavel Naumov; Jia Tao 001 (Artif. Intell., 2020)

Group Conformity in Social Networks. - Colby Morrison; Pavel Naumov (J. Log. Lang. Inf., 2020)

Epistemic Logic of Know-Who. - Sophia Epstein; Pavel Naumov (AAAI, 2021)

Ethical Dilemmas in Strategic Games. - Pavel Naumov; Rui-Jie Yew (AAAI, 2021)

Two Forms of Responsibility in Strategic Games. - Pavel Naumov; Jia Tao 001 (IJCAI, 2021)

Axiomatic theory of betweenness. - Sanaz Azimipour; Pavel Naumov (Arch. Math. Log., 2021)

Attainable Knowledge and Omniscience. - Pavel Naumov; Jia Tao 001 (TARK, 2021)

If You're Happy, Then You Know It: The Logic of Happiness... and Sadness. - Sanaz Azimipour; Pavel Naumov (CoRR, 2021)

Intelligence in Strategic Games. - Pavel Naumov; Yuan Yuan (J. Artif. Intell. Res., 2021)

Strategic coalitions in stochastic games. - Pavel Naumov; Kevin Ros (J. Log. Comput., 2021)

Strategic Knowledge Acquisition. - Kaya Deuser; Pavel Naumov (ACM Trans. Comput. Log., 2021)

Prevailing in the Dark: Information Walls in Strategic Games. - Pavel Naumov; Wenxuan Zhang (AAAI, 2022)

The Limits of Morality in Strategic Games. - Rui Cao 005; Pavel Naumov (IJCAI, 2022)

The Egocentric Logic of Preferences. - Junli Jiang; Pavel Naumov (IJCAI, 2022)

In Data We Trust: The Logic of Trust-Based Beliefs. - Junli Jiang; Pavel Naumov (IJCAI, 2022)

Intelligence in Strategic Games (Extended Abstract). - Pavel Naumov; Yuan Yuan (IJCAI, 2022)

Data-informed knowledge and strategies. - Junli Jiang; Pavel Naumov (Artif. Intell., 2022)

From intelligent agents to trustworthy human-centred multiagent systems. - Mohammad Divband Soorati; Enrico H. Gerding; Enrico Marchioni; Pavel Naumov; Timothy J. Norman; Sarvapali D. Ramchurn; Bahar Rastegari; Adam J. Sobey; Sebastian Stein 001; Danesh Tarpore; Vahid Yazdanpanah; Jie Zhang 008 (AI Commun., 2022)

What are Your Powers? - Truth Set Algebras. - Sophia Knight; Pavel Naumov (CoRR, 2022)

The Polymatrix Gap Conjecture. - Pavel Naumov; Italo Simonelli (IGTR, 2022)

Budget-constrained coalition strategies with discounting. - Lia Bozzone; Pavel Naumov (J. Log. Comput., 2022)

Data-Informed Knowledge and Strategies (Extended Abstract). - Junli Jiang; Pavel Naumov (IJCAI, 2023)

Shhh! The Logic of Clandestine Operations. - Pavel Naumov; Oliver Orejola (IJCAI, 2023)

De Re and De Dicto Knowledge in Egocentric Setting. - Pavel Naumov; Anna Ovchinnikova (CoRR, 2023)

Counterfactual and seeing-to-it responsibilities in strategic games. - Pavel Naumov; Jia Tao 001 (Ann. Pure Appl. Log., 2023)

The Logic of Doxastic Strategies. - Junli Jiang; Pavel Naumov (AAAI, 2024)

An egocentric logic of de dicto and de re knowing who. - Sophia Epstein; Pavel Naumov; Jia Tao 001 (J. Log. Comput., 2024)

A Dynamic Logic of Data-Informed Knowledge. - Kaya Deuser; Junli Jiang; Pavel Naumov; Wenxuan Zhang (J. Philos. Log., 2024)

Uncommon Belief in Rationality. - Qi Shi 003; Pavel Naumov (AAAI, 2025)

De re/de dicto distinction: a logicians' perspective on data anonymity. - Junli Jiang; Pavel Naumov (J. Cybersecur., 2025)

Responsibility in Multi-Step Decision Schemes. - Qi Shi 003; Pavel Naumov (J. Philos. Log., 2025)

Responsibility Gap in Collective Decision Making. - Pavel Naumov; Jia Tao (CoRR, 2025)

Comprehension and Knowledge. - Pavel Naumov; Kevin Ros (J. Log. Lang. Inf., 2025)

Higher-Order Responsibility. - Junli Jiang; Pavel Naumov (CoRR, 2025)

Diffusion of Responsibility in Collective Decision Making. - Pavel Naumov; Jia Tao (CoRR, 2025)

Responsibility Gap and Diffusion in Sequential Decision-Making Mechanisms. - Junli Jiang; Pavel Naumov (CoRR, 2025)