Rajeev Gore

Rajeev Gore

Faculty of Information Technology, Monash University, Australia
Verified email at monash.edu
Cited by 3167
Logic Automated Reasoning Modal Logic Tableaux Electronic Voting
Cláudia Nalon

Cláudia Nalon

Computer Science, University of Brasília
Verified email at unb.br
Cited by 268
logics modal logics tableaux resolution proof method
Valentin Cassano

Valentin Cassano

Department of Mathematics, National University of Rio Cuarto and CONICET, Argentina
Verified email at dc.exa.unrc.edu.ar
Cited by 76
Logics and Formal Systems Non-monotonic Reasoning Modal Logic Proof Calculi Tableaux
Ezequiel Orbe

Ezequiel Orbe

FaMAF, Universidad Nacional de Cordoba, CONICET
Verified email at famaf.unc.edu.ar
Cited by 28
Automated Reasoning Modal Logics SMT Artificial Intelligence Tableaux