 | 2009 |
|---|
| 5 |       | Bryan Renne,
Joshua Sack,
Audrey Yap:
Dynamic Epistemic Temporal Logic.
LORI 2009: 263-277 |
| 4 | | Bryan Renne:
Evidence elimination in multi-agent justification logic.
TARK 2009: 227-236 |
| 3 | | Bryan Renne:
Propositional games with explicit strategies.
Inf. Comput. 207(10): 1015-1043 (2009) |
| 2008 |
|---|
| 2 | | Bryan Renne:
Public and private communication are different: results on relative expressivity.
Synthese 165(2): 225-245 (2008) |
| 2006 |
|---|
| 1 | | Bryan Renne:
Propositional Games with Explicit Strategies.
Electr. Notes Theor. Comput. Sci. 165: 133-144 (2006) |
