| Independence-friendly logic: A game-theoretic approach AL Mann, G Sandu, M Sevenster Cambridge University Press, 2011 | 144 | 2011 |
| Independence-friendly logic AL Mann, G Sandu, M Sevenster London Mathematical Society Lecture Note Series 386, 208, 2011 | 20 | 2011 |
| Independence-friendly cylindric set algebras AL Mann Logic Journal of IGPL 17 (6), 719-754, 2009 | 18 | 2009 |
| Lottery semantics: A compositional semantics for probabilistic first-order logic with imperfect information P Galliani, AL Mann Studia Logica 101, 293-322, 2013 | 10 | 2013 |
| A case study in automated theorem proving: otter and EQP AL Mann University of Colorado, 2003 | 7 | 2003 |
| A Game-Theoretic Approach AL Mann, G Sandu, M Sevenster, IF Logic Cambridge eBook, 2011 | 6 | 2011 |
| A complete proof of the Robbins conjecture AL Mann preprint, 2003 | 6 | 2003 |
| Lottery semantics P Galliani, AL Mann Proceedings of Dependence and Independence in Logic, 118-132, 2010 | 4 | 2010 |
| Perfect IFG-formulas AL Mann Logica Universalis 2, 265-275, 2008 | 3 | 2008 |
| A logical analysis of Monty Hall and Sleeping Beauty AL Mann, V Aarnio Studia Logica 106, 1123-1162, 2018 | | 2018 |
| Cylindric Set Algebras and IF Logic AL Mann Cylindric-like Algebras and Algebraic Logic, 351-366, 2014 | | 2014 |
| First-order logic with imperfect information AL Mann, G Sandu | | 2012 |
| Independence-friendly logic: A game-theoretic approach. LMS Lecture Notes, vol. 386 AL Mann, G Sandu, M Sevenster | | 2012 |
| " Iff" is not expressible in independence-friendly logic AL Mann arXiv preprint arXiv:0806.4785, 2008 | | 2008 |
| 978-0-521-14934-1-Independence-Friendly Logic: A Game-Theoretic Approach AL Mann, G Sandu, M Sevenster | | |
