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