| Publication | Date of Publication | Type |
|---|
Attainable knowledge and omniscience
| 2024-11-24 | Paper |
A dynamic logic of data-informed knowledge
Journal of Philosophical Logic | 2024-04-16 | Paper |
Counterfactual and seeing-to-it responsibilities in strategic games
Annals of Pure and Applied Logic | 2023-09-21 | Paper |
De Re and De Dicto Knowledge in Egocentric Setting
| 2023-07-18 | Paper |
The polymatrix gap conjecture
International Game Theory Review | 2022-09-30 | Paper |
Lighthouse principle for diffusion in social networks
| 2022-09-28 | Paper |
Budget-constrained coalition strategies with discounting
Journal Of Logic And Computation | 2022-09-22 | Paper |
Truth Set Algebra: A New Way to Prove Undefinability
| 2022-08-08 | Paper |
Data-informed knowledge and strategies
Artificial Intelligence | 2022-07-08 | Paper |
Strategic knowledge acquisition
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
Together we know how to achieve: an epistemic logic of know-how (extended abstract)
| 2021-12-14 | Paper |
Strategic coalitions in stochastic games
Journal Of Logic And Computation | 2021-11-09 | Paper |
Intelligence in strategic games
Journal of Artificial Intelligence Research | 2021-10-05 | Paper |
On composition of bounded-recall plans
Artificial Intelligence | 2021-08-16 | Paper |
Budget-Constrained Coalition Strategies with Discounting
| 2021-05-10 | Paper |
Functional dependence in strategic games (extended abstract)
| 2021-05-06 | Paper |
Axiomatic theory of betweenness
Archive for Mathematical Logic | 2021-01-19 | Paper |
Knowing the price of success
Artificial Intelligence | 2020-08-06 | Paper |
Group conformity in social networks
Journal of Logic, Language and Information | 2020-05-27 | Paper |
An epistemic logic of blameworthiness
Artificial Intelligence | 2020-04-21 | Paper |
Knowing-how under uncertainty
Artificial Intelligence | 2020-01-20 | Paper |
Blameworthiness in Security Games
| 2019-10-18 | Paper |
EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
The Review of Symbolic Logic | 2019-06-07 | Paper |
Diffusion in social networks with recalcitrant agents
Journal Of Logic And Computation | 2019-03-01 | Paper |
Navigability with intermediate constraints
Journal Of Logic And Computation | 2019-01-31 | Paper |
The Limits of Morality in Strategic Games
| 2019-01-22 | Paper |
Together we know how to achieve: an epistemic logic of know-how
Artificial Intelligence | 2019-01-18 | Paper |
Blameworthiness in Strategic Games
| 2018-09-14 | Paper |
Information flow under budget constraints
ACM Transactions on Computational Logic | 2018-03-22 | Paper |
Knowledge in communication networks
Journal Of Logic And Computation | 2018-02-13 | Paper |
A modal logic for reasoning about economic policies
Journal Of Logic And Computation | 2017-05-17 | Paper |
Logic of confidence
Synthese | 2017-03-09 | Paper |
Equilibria interchangeability in cellular games
Journal Of Logic And Computation | 2017-01-31 | Paper |
Conditional interchangeability of Nash equilibria
Journal Of Logic And Computation | 2017-01-31 | Paper |
Price of privacy
Journal of Applied Logic | 2017-01-16 | Paper |
Marketing impact on diffusion in social networks
Journal of Applied Logic | 2017-01-16 | Paper |
Information flow under budget constraints
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Functional dependence in strategic games
Notre Dame Journal of Formal Logic | 2016-09-01 | Paper |
Lighthouse Principle for Diffusion in Social Networks
| 2016-01-15 | Paper |
Calculus of cooperation and game-based reasoning about protocol privacy
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
The Ryōan-ji axiom for common knowledge on hypergraphs
Synthese | 2015-03-17 | Paper |
Common Knowledge Semantics of Armstrong’s Axioms
Logic, Language, Information, and Computation | 2015-01-13 | Paper |
Strict equilibria interchangeability in multi-player zero-sum games
Journal Of Logic And Computation | 2015-01-12 | Paper |
On interchangeability of Nash equilibria in multi-player strategic games
Synthese | 2015-01-08 | Paper |
Rationally functional dependence
Journal of Philosophical Logic | 2014-12-18 | Paper |
Symmetry in information flow
Annals of Pure and Applied Logic | 2014-01-13 | Paper |
Cellular games, Nash equilibria, and Fibonacci numbers
Lecture Notes in Computer Science | 2013-11-06 | Paper |
Symmetries and epistemic reasoning
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Independence in information spaces
Studia Logica | 2013-01-03 | Paper |
Fault tolerance in belief formation networks
Logics in Artificial Intelligence | 2012-09-21 | Paper |
Concurrency semantics for the Geiger-Paz-Pearl axioms of independence
| 2012-09-18 | Paper |
Hypergraphs of multiparty secrets
Annals of Mathematics and Artificial Intelligence | 2012-01-13 | Paper |
Game Semantics for the Geiger-Paz-Pearl Axioms of Independence
Logic, Rationality, and Interaction | 2011-10-19 | Paper |
Logic of secrets in collaboration networks
Annals of Pure and Applied Logic | 2011-09-22 | Paper |
The functional dependence relation on hypergraphs of secrets
Lecture Notes in Computer Science | 2011-09-16 | Paper |
Information flow on directed acyclic graphs
Logic, Language, Information and Computation | 2011-05-27 | Paper |
Hypergraphs of multiparty secrets
Lecture Notes in Computer Science | 2010-08-24 | Paper |
An independence relation for sets of secrets
Studia Logica | 2010-04-26 | Paper |
An Independence Relation for Sets of Secrets
Logic, Language, Information and Computation | 2009-07-02 | Paper |
On meta complexity of propositional formulas and propositional proofs
Archive for Mathematical Logic | 2008-08-20 | Paper |
On modal logic of deductive closure
Annals of Pure and Applied Logic | 2006-08-16 | Paper |
Logic of subtyping
Theoretical Computer Science | 2006-08-16 | Paper |
Upper bounds on complexity of Frege proofs with limited use of certain schemata
Archive for Mathematical Logic | 2006-05-26 | Paper |
On modal logics of partial recursive functions
Studia Logica | 2006-03-17 | Paper |
scientific article; zbMATH DE number 1863394 (Why is no real title available?)
| 2003-02-04 | Paper |
Undecidability of a second-order provability logic with operation of comparison of witnesses
Moscow University Mathematics Bulletin | 1995-09-25 | Paper |
Insolubility of Gödel-Löb logic with quantifiers of propositional variables
Moscow University Mathematics Bulletin | 1994-04-06 | Paper |
On modal logics conservative over intuitionistic predicate calculus
Moscow University Mathematics Bulletin | 1992-06-28 | Paper |
On modal logics which are conservative over the intuitionistic predicate calculus
| 1991-01-01 | Paper |
