Rohit Parikh
Artikeln
X1994
Linguistics and Philosophy 17/6
Length and structure of proofs
1998
Synthese 114/1
2002
Synthese 132/3
The logic of knowledge based obligation
2006
Synthese 149/2
Beth definability, interpolation and language splitting
2011
Synthese 179/2