, 2018, 'On constructing a logic for the notion of complete and immediate formal grounding', Synthese 195 (3), 1231-1254.
, 2016, 'On defining the notion of complete and immediate formal grounding', Synthese 193 (10), 3147-3167.
, 2015, 'Are the validities of modal logic analytic? or analyticity again, through information, proof, modal logic and Hintikka', Philosophia Scientiae 19 (2), 221-243.
, 2010, 'Display calculi and other modal calculi: a comparison', Synthese 173 (3), 259-279.
, 2009a, The method of tree-hypersequents for modal propositional logic, in D. Makinson, J. Malinowski & H. Wansing (eds.), Towards mathematical philosophy, Dordrecht, Springer, pp. 31-51.