, 2019, 'If structured propositions are logical procedures then how are procedures individuated?', Synthese 196 (4), 1249-1283.
, 2015, 'Procedurální teorie pojmů ', Studia philosophica 62 (2), 86-113.
with Jespersen, B. , 2015, 'Transparent quantification into hyperintensional objectual attitudes', Synthese 192 (3), 635-677.
with Jespersen, B. , 2015, 'Introduction', Synthese 192 (3), 525-534.
with Jespersen, B. (eds) , 2015a, Synthese 192 (3).