Picture for Pavel Naumov

Pavel Naumov

Vassar College

The Logic of Doxastic Strategies

Add code
Dec 13, 2023
Viaarxiv icon

De Re and De Dicto Knowledge in Egocentric Setting

Add code
Jul 18, 2023
Viaarxiv icon

Shhh! The Logic of Clandestine Operations

Add code
May 10, 2023
Viaarxiv icon

From Intelligent Agents to Trustworthy Human-Centred Multiagent Systems

Add code
Oct 05, 2022
Figure 1 for From Intelligent Agents to Trustworthy Human-Centred Multiagent Systems
Viaarxiv icon

What are Your Powers? -- Truth Set Algebras

Add code
Aug 08, 2022
Figure 1 for What are Your Powers? -- Truth Set Algebras
Figure 2 for What are Your Powers? -- Truth Set Algebras
Figure 3 for What are Your Powers? -- Truth Set Algebras
Figure 4 for What are Your Powers? -- Truth Set Algebras
Viaarxiv icon

Budget-Constrained Coalition Strategies with Discounting

Add code
May 10, 2021
Figure 1 for Budget-Constrained Coalition Strategies with Discounting
Figure 2 for Budget-Constrained Coalition Strategies with Discounting
Figure 3 for Budget-Constrained Coalition Strategies with Discounting
Viaarxiv icon

If You're Happy, Then You Know It: The Logic of Happiness and Sadness

Add code
Jan 02, 2021
Figure 1 for If You're Happy, Then You Know It: The Logic of Happiness and Sadness
Figure 2 for If You're Happy, Then You Know It: The Logic of Happiness and Sadness
Figure 3 for If You're Happy, Then You Know It: The Logic of Happiness and Sadness
Figure 4 for If You're Happy, Then You Know It: The Logic of Happiness and Sadness
Viaarxiv icon

Epistemic Logic of Know-Who

Add code
Dec 11, 2020
Figure 1 for Epistemic Logic of Know-Who
Figure 2 for Epistemic Logic of Know-Who
Figure 3 for Epistemic Logic of Know-Who
Figure 4 for Epistemic Logic of Know-Who
Viaarxiv icon

Comprehension and Knowledge

Add code
Dec 11, 2020
Figure 1 for Comprehension and Knowledge
Figure 2 for Comprehension and Knowledge
Figure 3 for Comprehension and Knowledge
Figure 4 for Comprehension and Knowledge
Viaarxiv icon

Blameworthiness in Security Games

Add code
Nov 11, 2019
Figure 1 for Blameworthiness in Security Games
Figure 2 for Blameworthiness in Security Games
Figure 3 for Blameworthiness in Security Games
Figure 4 for Blameworthiness in Security Games
Viaarxiv icon