Rohit Parikh
Sentences, belief and logical omniscience, or what does deduction tell us?
2016
in: Readings in formal epistemology, Dordrecht : Springer
Beth 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
How far can we formalize language games?
1995
in: The foundational debate, Dordrecht : Springer
1994
Linguistics and Philosophy 17/6
The problem of vague predicates
1983
in: Language, logic and method, Dordrecht : Springer