| Publication | Date of Publication | Type |
|---|
| A dynamic logic of data-informed knowledge | 2024-04-16 | Paper |
| Counterfactual and seeing-to-it responsibilities in strategic games | 2023-09-21 | Paper |
| De Re and De Dicto Knowledge in Egocentric Setting | 2023-07-18 | Paper |
| The Polymatrix Gap Conjecture | 2022-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869512 | 2022-09-28 | Paper |
| Budget-constrained coalition strategies with discounting | 2022-09-22 | Paper |
| Truth Set Algebra: A New Way to Prove Undefinability | 2022-08-08 | Paper |
| Data-informed knowledge and strategies | 2022-07-08 | Paper |
| Strategic Knowledge Acquisition | 2022-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384085 | 2021-12-14 | Paper |
| Strategic coalitions in stochastic games | 2021-11-09 | Paper |
| Intelligence in Strategic Games | 2021-10-05 | Paper |
| On composition of bounded-recall plans | 2021-08-16 | Paper |
| Budget-Constrained Coalition Strategies with Discounting | 2021-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3388739 | 2021-05-06 | Paper |
| Axiomatic theory of betweenness | 2021-01-19 | Paper |
| Knowing the price of success | 2020-08-06 | Paper |
| Group conformity in social networks | 2020-05-27 | Paper |
| An epistemic logic of blameworthiness | 2020-04-21 | Paper |
| Knowing-how under uncertainty | 2020-01-20 | Paper |
| Blameworthiness in Security Games | 2019-10-18 | Paper |
| EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS | 2019-06-07 | Paper |
| Diffusion in social networks with recalcitrant agents | 2019-03-01 | Paper |
| Navigability with intermediate constraints | 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 | 2019-01-18 | Paper |
| Blameworthiness in Strategic Games | 2018-09-14 | Paper |
| Information Flow under Budget Constraints | 2018-03-22 | Paper |
| Knowledge in communication networks | 2018-02-13 | Paper |
| A modal logic for reasoning about economic policies | 2017-05-17 | Paper |
| Logic of confidence | 2017-03-09 | Paper |
| Conditional interchangeability of Nash equilibria | 2017-01-31 | Paper |
| Equilibria interchangeability in cellular games | 2017-01-31 | Paper |
| Price of privacy | 2017-01-16 | Paper |
| Marketing impact on diffusion in social networks | 2017-01-16 | Paper |
| Information Flow Under Budget Constraints | 2016-11-30 | Paper |
| Functional dependence in strategic games | 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 | 2015-09-17 | Paper |
| The Ryōan-ji axiom for common knowledge on hypergraphs | 2015-03-17 | Paper |
| Common Knowledge Semantics of Armstrong’s Axioms | 2015-01-13 | Paper |
| Strict equilibria interchangeability in multi-player zero-sum games | 2015-01-12 | Paper |
| On interchangeability of Nash equilibria in multi-player strategic games | 2015-01-08 | Paper |
| Rationally functional dependence | 2014-12-18 | Paper |
| Symmetry in information flow | 2014-01-13 | Paper |
| Functional dependence in strategic games | 2013-11-06 | Paper |
| Symmetries and Epistemic Reasoning | 2013-10-04 | Paper |
| Independence in information spaces | 2013-01-03 | Paper |
| Fault Tolerance in Belief Formation Networks | 2012-09-21 | Paper |
| Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence | 2012-09-18 | Paper |
| Hypergraphs of multiparty secrets | 2012-01-13 | Paper |
| Game Semantics for the Geiger-Paz-Pearl Axioms of Independence | 2011-10-19 | Paper |
| Logic of secrets in collaboration networks | 2011-09-22 | Paper |
| The Functional Dependence Relation on Hypergraphs of Secrets | 2011-09-16 | Paper |
| Information Flow on Directed Acyclic Graphs | 2011-05-27 | Paper |
| Hypergraphs of Multiparty Secrets | 2010-08-24 | Paper |
| An independence relation for sets of secrets | 2010-04-26 | Paper |
| An Independence Relation for Sets of Secrets | 2009-07-02 | Paper |
| On meta complexity of propositional formulas and propositional proofs | 2008-08-20 | Paper |
| On modal logic of deductive closure | 2006-08-16 | Paper |
| Logic of subtyping | 2006-08-16 | Paper |
| Upper bounds on complexity of Frege proofs with limited use of certain schemata | 2006-05-26 | Paper |
| On modal logics of partial recursive functions | 2006-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790669 | 2003-02-04 | Paper |
| Undecidability of a second-order provability logic with operation of comparison of witnesses | 1995-09-25 | Paper |
| Insolubility of Gödel-Löb logic with quantifiers of propositional variables | 1994-04-06 | Paper |
| On modal logics conservative over intuitionistic predicate calculus | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3363754 | 1991-01-01 | Paper |
