The following pages link to Pavel Naumov (Q306823):
Displaying 50 items.
- Functional dependence in strategic games (Q306824) (← links)
- Symmetry in information flow (Q392287) (← links)
- Rationally functional dependence (Q484125) (← links)
- On interchangeability of Nash equilibria in multi-player strategic games (Q484921) (← links)
- Price of privacy (Q504512) (← links)
- Marketing impact on diffusion in social networks (Q504513) (← links)
- Logic of confidence (Q514597) (← links)
- Hypergraphs of multiparty secrets (Q656828) (← links)
- Logic of secrets in collaboration networks (Q716496) (← links)
- Knowing the price of success (Q785233) (← links)
- On modal logics of partial recursive functions (Q817692) (← links)
- On meta complexity of propositional formulas and propositional proofs (Q937212) (← links)
- An independence relation for sets of secrets (Q965899) (← links)
- (Q1182402) (redirect page) (← links)
- On modal logics conservative over intuitionistic predicate calculus (Q1182403) (← links)
- Insolubility of Gödel-Löb logic with quantifiers of propositional variables (Q1311486) (← links)
- Together we know how to achieve: an epistemic logic of know-how (Q1711891) (← links)
- Undecidability of a second-order provability logic with operation of comparison of witnesses (Q1898556) (← links)
- Independence in information spaces (Q1928485) (← links)
- An epistemic logic of blameworthiness (Q1989408) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- Data-informed knowledge and strategies (Q2152494) (← links)
- Group conformity in social networks (Q2183576) (← links)
- Axiomatic theory of betweenness (Q2219098) (← links)
- The Ryōan-ji axiom for common knowledge on hypergraphs (Q2263050) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)
- Upper bounds on complexity of Frege proofs with limited use of certain schemata (Q2491079) (← links)
- On modal logic of deductive closure (Q2498907) (← links)
- Logic of subtyping (Q2500487) (← links)
- Information Flow Under Budget Constraints (Q2835882) (← links)
- Symmetries and Epistemic Reasoning (Q2851969) (← links)
- Fault Tolerance in Belief Formation Networks (Q2915078) (← links)
- Concurrency semantics for the Geiger-Paz-Pearl axioms of independence (Q2915702) (← links)
- Strict equilibria interchangeability in multi-player zero-sum games (Q2937695) (← links)
- Common Knowledge Semantics of Armstrong’s Axioms (Q2938141) (← links)
- Calculus of cooperation and game-based reasoning about protocol privacy (Q2946671) (← links)
- Conditional interchangeability of Nash equilibria (Q2957953) (← links)
- Equilibria interchangeability in cellular games (Q2957960) (← links)
- A modal logic for reasoning about economic policies (Q2987057) (← links)
- Information Flow on Directed Acyclic Graphs (Q3003351) (← links)
- The Functional Dependence Relation on Hypergraphs of Secrets (Q3092291) (← links)
- Game Semantics for the Geiger-Paz-Pearl Axioms of Independence (Q3094009) (← links)
- Diffusion in social networks with recalcitrant agents (Q3120203) (← links)
- Knowledge in communication networks (Q3133163) (← links)
- (Q3363754) (← links)
- (Q3384085) (← links)
- (Q3388739) (← links)
- Hypergraphs of Multiparty Secrets (Q3582733) (← links)
- An Independence Relation for Sets of Secrets (Q3638291) (← links)
- Information Flow under Budget Constraints (Q4608721) (← links)