R
Rajeev Goré
Researcher at Australian National University
Publications - 168
Citations - 2505
Rajeev Goré is an academic researcher from Australian National University. The author has contributed to research in topics: Sequent calculus & Sequent. The author has an hindex of 24, co-authored 166 publications receiving 2385 citations. Previous affiliations of Rajeev Goré include University of Melbourne.
Papers
More filters
Book ChapterDOI
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
Zhe Hou,Alwen Tiu,Rajeev Goré +2 more
TL;DR: A free variable calculus that deals with the structural rules lazily in a constraint system and conjecture that different semantics for BBI and some axioms in concrete models can be captured by adding extra structural rules.
Journal Article
Modalities in constructive logics and type theories
Proceedings ArticleDOI
Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting
TL;DR: This work develops the logical theory and formal methods tools to machine-check the design and implementation of all these variants of Terelius-Wikström mix nets, for all the different encryption schemes used; resulting in provably correct mix nets for all these different variations.
Journal ArticleDOI
Display Calculi for Logics with Relative Accessibility Relations
Stéphane Demri,Rajeev Goré +1 more
TL;DR: This work translates the knowledgelogics into polymodal logics axiomatised by primitive axioms and uses Kracht's results on properly displayable logics to define cut-free display calculi for knowledge logics.