Rajeev Goré

From MaRDI portal
Person:229747

Available identifiers

zbMath Open gore.rajeev-prabhakarMaRDI QIDQ229747

List of research outcomes

PublicationDate of PublicationType
A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalised2023-09-01Paper
https://portal.mardi4nfdi.de/entity/Q58831852023-03-29Paper
https://portal.mardi4nfdi.de/entity/Q58849582023-03-24Paper
https://portal.mardi4nfdi.de/entity/Q58742152023-02-07Paper
Verified Decision Procedures for Modal Logics.2023-02-03Paper
N-PAT: A Nested Model-Checker2022-11-09Paper
https://portal.mardi4nfdi.de/entity/Q51047102022-09-15Paper
CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT2022-05-25Paper
A formally verified cut-elimination procedure for linear nested sequents for tense logic2022-05-25Paper
Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq2022-05-25Paper
Machine-Checked Proof-Theory for Propositional Modal Logics2020-08-07Paper
A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic2020-05-14Paper
Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents2020-05-14Paper
A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC2020-04-06Paper
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents2019-10-11Paper
A labelled sequent calculus for BBI: proof theory and proof search2019-01-31Paper
Free variable tableaux for propositional modal logics2019-01-15Paper
Well-founded unions2018-10-18Paper
Modular Labelled Sequent Calculi for Abstract Separation Logics2018-08-10Paper
Issues in machine-checking the decidability of implicational ticket entailment2018-02-02Paper
https://portal.mardi4nfdi.de/entity/Q52837782017-07-25Paper
https://portal.mardi4nfdi.de/entity/Q29585232017-02-02Paper
Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi2016-09-05Paper
Automated Theorem Proving for Assertions in Separation Logic with All Connectives2015-12-02Paper
Sequent Calculus in the Topos of Trees2015-10-01Paper
The Tableau Workbench2015-03-23Paper
An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability2015-03-23Paper
And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL2014-09-26Paper
A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description2014-09-26Paper
Implementing Tableau Calculi Using BDDs: BDDTab System Description2014-09-26Paper
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic2014-09-15Paper
Cut-elimination for weak Grzegorczyk logic Go2014-06-19Paper
https://portal.mardi4nfdi.de/entity/Q54198842014-06-11Paper
https://portal.mardi4nfdi.de/entity/Q54198982014-06-11Paper
Proof search for propositional abstract separation logics via labelled sequents2014-04-10Paper
Computer-aided decision-making with trust relations and trust domains (cryptographic applications)2014-04-01Paper
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search2013-10-04Paper
https://portal.mardi4nfdi.de/entity/Q28439102013-08-27Paper
ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching2013-07-05Paper
Analysing Vote Counting Algorithms via Logic2013-06-14Paper
An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description2013-06-14Paper
BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics2012-09-05Paper
https://portal.mardi4nfdi.de/entity/Q29040532012-08-05Paper
VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED2012-06-11Paper
Craig Interpolation in Displayable Logics2011-07-01Paper
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics2011-05-26Paper
https://portal.mardi4nfdi.de/entity/Q30869392011-03-30Paper
https://portal.mardi4nfdi.de/entity/Q30869402011-03-30Paper
Generic Methods for Formalising Sequent Calculi Applied to Provability Logic2010-10-12Paper
A Proof Theoretic Analysis of Intruder Theories2010-09-21Paper
Global Caching for Coalgebraic Description Logics2010-09-14Paper
Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse2010-09-14Paper
Optimal Tableau Algorithms for Coalgebraic Logics2010-04-27Paper
Automated Reasoning with Analytic Tableaux and Related Methods2010-03-09Paper
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic2010-02-19Paper
Completeness of hyper-resolution via the semantics of disjunctive logic programs2009-12-04Paper
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference2009-12-01Paper
Sound Global State Caching for ALC with Inverse Roles2009-12-01Paper
Clausal Tableaux for Multimodal Logics of Belief2009-09-22Paper
A First-Order Policy Language for History-Based Transaction Monitoring2009-08-20Paper
An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability2009-07-28Paper
A Proof Theoretic Analysis of Intruder Theories2009-06-30Paper
TERMINATION OF ABSTRACT REDUCTION SYSTEMS2009-04-14Paper
Machine Checking Proof Theory: An Application of Logic to Logic2009-02-12Paper
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs2009-02-12Paper
An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description)2008-11-27Paper
One-Pass Tableaux for Computation Tree Logic2008-05-15Paper
A Cut-Free Sequent Calculus for Bi-intuitionistic Logic2008-01-04Paper
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies2008-01-04Paper
Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S52007-11-19Paper
Automated Reasoning with Analytic Tableaux and Related Methods2006-07-07Paper
Computer Science Logic2005-08-22Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems2005-08-19Paper
https://portal.mardi4nfdi.de/entity/Q44303952003-10-09Paper
https://portal.mardi4nfdi.de/entity/Q44151382003-07-28Paper
Display Calculi for Nominal Tense Logics2003-07-25Paper
https://portal.mardi4nfdi.de/entity/Q44843372003-06-12Paper
Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics2003-03-13Paper
https://portal.mardi4nfdi.de/entity/Q47855512003-01-05Paper
Free-variable tableaux for propositional modal logics2002-09-03Paper
Display calculi for logics with relative accessibility relations2002-07-22Paper
https://portal.mardi4nfdi.de/entity/Q27717202002-03-12Paper
https://portal.mardi4nfdi.de/entity/Q27536012001-11-14Paper
https://portal.mardi4nfdi.de/entity/Q27212002001-07-01Paper
https://portal.mardi4nfdi.de/entity/Q27037452001-05-08Paper
https://portal.mardi4nfdi.de/entity/Q45039082001-01-17Paper
https://portal.mardi4nfdi.de/entity/Q42631542000-05-11Paper
https://portal.mardi4nfdi.de/entity/Q42630132000-02-28Paper
https://portal.mardi4nfdi.de/entity/Q42469732000-01-12Paper
https://portal.mardi4nfdi.de/entity/Q42472082000-01-12Paper
https://portal.mardi4nfdi.de/entity/Q42472071999-12-06Paper
Gaggles, Gentzen and Galois: how to display your favourite substructural logic1999-07-07Paper
Substructural logics on display1998-06-08Paper
Relations between propositional normal modal logics: an overview1998-03-17Paper
https://portal.mardi4nfdi.de/entity/Q43629181997-11-13Paper
https://portal.mardi4nfdi.de/entity/Q56888091997-01-23Paper
https://portal.mardi4nfdi.de/entity/Q42958751994-11-24Paper
Cut-free sequent and tableau systems for propositional Diodorean modal logics1994-11-10Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Rajeev Goré