A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC von Goré, Rajeev, Thomson, Jimmy

Volltext

Electronic Voting: Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings von Krimmer, Robert, Volkamer, Melanie, Cortier, Véronique, Goré, Rajeev, Hapsara, Manik, Serdült, Uwe, Duenas-Cid, David

Volltext

A labelled sequent calculus for BBI: proof theory and proof search von Hóu, Zhé, Goré, Rajeev, Tiu, Alwen

Volltext

Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq von Goré, Rajeev, Ramanayake, Revantha, Shillito, Ian

Volltext

CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT von Goré, Rajeev, Kikkert, Cormac

Volltext

Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting von Haines, Thomas, Gore, Rajeev, Sharma, Bhavesh

Volltext

Modular Labelled Sequent Calculi for Abstract Separation Logics von Hóu, Zhé, Clouston, Ranald, Goré, Rajeev, Tiu, Alwen

Volltext

Automated Theorem Proving for Assertions in Separation Logic with All Connectives von Hóu, Zhé, Goré, Rajeev, Tiu, Alwen

Volltext

YABLO'S PARADOX AS A THEOREM OF MODAL LOGIC von Forster, Thomas, Goré, Rajeev

Volltext

Issues in Machine-Checking the Decidability of Implicational Ticket Entailment von Dawson, Jeremy E., Goré, Rajeev

Volltext

On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics von Gore, Rajeev, Postniece, Linda, Tiu, Alwen F

Volltext

Sequent Calculus in the Topos of Trees von Clouston, Ranald, Goré, Rajeev

Volltext

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings von Goré, Rajeev, Leitsch, Alexander, Nipkow, Tobias

Volltext

ExpTime Tableaux for ALC Using Sound Global Caching von GORE, Rajeev, NGUYEN, Linh Anh

Volltext

Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic von Goré, Rajeev, Postniece, Linda

Volltext

Cut-elimination for Weak Grzegorczyk Logic Go von Goré, Rajeev, Ramanayake, Revantha

Volltext

CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-learning and SAT: Invited Talk at the 10th International Conference on Non-Classical Logics. Theory and Applications von Goré, Rajeev

Volltext

A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic von D’Abrera, Caitlin, Dawson, Jeremy, Goré, Rajeev

Volltext

Machine-Checking the Universal Verifiability of ElectionGuard von Haines, Thomas, Goré, Rajeev, Stodart, Jack

Volltext

VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED von GORÉ, RAJEEV, RAMANAYAKE, REVANTHA

Volltext