RGRajeev Goré
Rajeev Goré
*This is an algorithmically generated author record based on publicly available information.
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Latest Publications
- 1 January 1994
- Published by Springer Nature in Studia Logica
- Vol. 53 (3) , 433-457
Cut-free sequent and tableau systems for propositional Diodorean modal logics
- 1 January 1994
- Published by Springer Nature in Studia Logica
- Vol. 53 (3) , 433-457
Cut-free sequent and tableau systems for propositional Diodorean modal logics