Edit Profile (opens in new tab) Goré, Rajeev Prabhakar Compute Distance To: Compute Author ID: gore.rajeev-prabhakar Published as: Goré, Rajeev; Gore, Rajeev; Goré, Rajeev Prabhakar; Goré, Rajeev P.; Goré, R. P.; Gore, R. more...less External Links: MGP Documents Indexed: 95 Publications since 1991 2 Contributions as Editor Co-Authors: 52 Co-Authors with 87 Joint Publications 820 Co-Co-Authors all top 5 Co-Authors 9 single-authored 17 Dawson, Jeremy E. 17 Tiu, Alwen Fernanto 7 Nguyen, Linh Anh 7 Postniece, Linda 6 Clouston, Ranald A. 6 Demri, Stéphane P. 6 Hou, Zhe 6 Thomson, Jimmy 6 Widmann, Florian 5 Abate, Pietro 5 Ramanayake, Revantha 3 Beckert, Bernhard 2 Brotherston, James 2 Davoren, Jennifer M. 2 Kupke, Clemens 2 Pattinson, Dirk 2 Shillito, Ian 2 Wu, Jesse 1 Bauer, Andreas 1 Bonnette, Nicolette 1 Bride, Hadrien 1 Buisman, Linda 1 Cai, Cheng-Hao 1 Coulthard, Vaughan 1 D’Abrera, Caitlin 1 Dershowitz, Nachum 1 Dong, JinSong 1 Fiorentini, Camillo 1 Forster, Thomas 1 Graham-Lengrand, Stéphane 1 Heinle, Wolfgang 1 Heuerding, Alain 1 Ianovski, Egor 1 Kikkert, Cormac 1 Kooi, Barteld Pieter 1 Kramer, Simon 1 Kurucz, Agi 1 Lan Duy Nguyen 1 Leitsch, Alexander 1 Lellmann, Björn 1 Lyon, Tim S. 1 Mahony, Brendan P. 1 McCarthy, Jim 1 Moor, Thomas 1 Ndisabiye, D. 1 Nerode, Anil 1 Nipkow, Tobias 1 Okamoto, Eiji 1 Olesen, Kerry 1 Schröder, Lutz 1 Schürmann, Carsten 1 Sidhu, Harvinder Singh 1 Thê Nguyên, Phuong 1 Waters, Edward K. 1 Wu, Minchao all top 5 Serials 7 Journal of Logic and Computation 3 Studia Logica 2 Logique et Analyse. Nouvelle Série 2 Logic Journal of the IGPL 2 Logical Methods in Computer Science 1 Information Processing Letters 1 The Journal of Symbolic Logic 1 Journal of Automated Reasoning 1 International Journal of Foundations of Computer Science 1 Journal of Logic, Language and Information 1 Fundamenta Informaticae 1 The ANZIAM Journal 1 ACM Transactions on Computational Logic 1 Lecture Notes in Computer Science 1 The Review of Symbolic Logic all top 5 Fields 76 Mathematical logic and foundations (03-XX) 57 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 2 Ordinary differential equations (34-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General topology (54-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 74 Publications have been cited 368 times in 237 Documents Cited by ▼ Year ▼ Tableau methods for modal and temporal logics. Zbl 0972.03529Goré, Rajeev 57 1999 Substructural logics on display. Zbl 0906.03020Goré, Rajeev 19 1998 Dual intuitionistic logic revisited. Zbl 0963.03042Goré, Rajeev 18 2000 Labelled tree sequents, tree hypersequents and nested (deep) sequents. Zbl 1296.03031Goré, Rajeev; Ramanayake, Revantha 12 2012 An optimal on-the-fly tableau-based decision procedure for PDL-satisfiability. Zbl 1250.03017Goré, Rajeev; Widmann, Florian 10 2009 Cut-elimination and proof search for bi-intuitionistic tense logic. Zbl 1254.03033Goré, Rajeev; Postniece, Linda; Tiu, Alwen 10 2010 Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic. Zbl 1189.03070Goré, Rajeev; Postniece, Linda 10 2010 EXPTIME tableaux with global caching for description logics with transitive roles, inverse roles and role hierarchies. Zbl 1132.68731Goré, Rajeev; Nguyen, Linh Anh 10 2007 One-pass tableaux for computation tree logic. Zbl 1137.03304Abate, Pietro; Goré, Rajeev; Widmann, Florian 10 2007 Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. Zbl 1244.03157Goré, Rajeev; Postniece, Linda; Tiu, Alwen 9 2008 Generic methods for formalising sequent calculi applied to provability logic. Zbl 1307.03033Dawson, Jeremy E.; Goré, Rajeev 9 2010 The tableaux work bench. Zbl 1274.68404Abate, Pietro; Goré, Rajeev 8 2003 ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching. Zbl 1361.68188Goré, Rajeev; Nguyen, Linh Anh 8 2013 Optimal and cut-free tableaux for propositional dynamic logic with converse. Zbl 1291.68345Goré, Rajeev; Widmann, Florian 8 2010 Gaggles, Gentzen and Galois: How to display your favourite substructural logic. Zbl 0917.03025Goré, Rajeev 8 1998 On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics. Zbl 1218.03020Goré, Rajeev; Postniece, Linda; Tiu, Alwen F. 7 2011 An on-the-fly tableau-based decision procedure for PDL-satisfiability. Zbl 1347.68298Abate, Pietro; Goré, Rajeev; Widmann, Florian 6 2009 Valentini’s cut-elimination for provability logic resolved. Zbl 1254.03113Goré, Rajeev; Ramanayake, Revantha 6 2012 A cut-free sequent calculus for bi-intuitionistic logic. Zbl 1133.03027Buisman, Linda; Goré, Rajeev 6 2007 Valentini’s cut-elimination for provability logic resolved. Zbl 1244.03158Goré, Rajeev; Ramanayake, Revantha 5 2008 A history-based theorem prover for intuitionistic propositional logic using global caching: IntHistGC system description. Zbl 1423.68417Goré, Rajeev; Thomson, Jimmy; Wu, Jesse 5 2014 Formalised cut admissibility for display logic. Zbl 1013.03011Dawson, Jeremy E.; Goré, Rajeev 5 2002 A first-order policy language for history-based transaction monitoring. Zbl 1250.68182Bauer, Andreas; Goré, Rajeev; Tiu, Alwen 5 2009 Free-variable tableaux for propositional modal logics. Zbl 0991.03014Beckert, Bernhard; Goré, Rajeev 5 2001 Cut-free sequent and tableau systems for propositional Diodorean modal logics. Zbl 0807.03036Goré, Rajeev 5 1994 A proof theoretic analysis of intruder theories. Zbl 1201.68052Tiu, Alwen; Gore, Rajeev; Dawson, Jeremy 5 2010 Craig interpolation in displayable logics. Zbl 1333.03107Brotherston, James; Goré, Rajeev 5 2011 Bimodal logics for reasoning about continuous dynamics. Zbl 1031.03030Davoren, Jen M.; Goré, Rajeev P. 4 2002 A tableau calculus with automaton-labelled formulae for regular grammar logics. Zbl 1142.03328Goré, Rajeev; Nguyen, Linh Anh 4 2005 Automated theorem proving for assertions in separation logic with all connectives. Zbl 1465.03053Hóu, Zhé; Goré, Rajeev; Tiu, Alwen 4 2015 Implementing tableau calculi using BDDs: BDDTab system description. Zbl 1423.68416Goré, Rajeev; Olesen, Kerry; Thomson, Jimmy 4 2014 Sound global state caching for ALC with inverse roles. Zbl 1260.68372Goré, Rajeev; Widmann, Florian 4 2009 Display calculi for nomial tense logics. Zbl 1016.03018Demri, Stéphane; Goré, Rajeev 4 2002 Sequent calculus in the topos of trees. Zbl 1461.03060Clouston, Ranald; Goré, Rajeev 3 2015 Relations between propositional normal modal logics: An overview. Zbl 0884.03005Goré, Rajeev; Heinle, Wolfgang; Heuerding, Alain 3 1997 Proof search for propositional abstract separation logics via labelled sequents. Zbl 1284.68402Hóu, Zhé; Clouston, Ranald; Goré, Rajeev; Tiu, Alwen 3 2014 Clausal tableaux for multimodal logics of belief. Zbl 1181.03009Goré, Rajeev; Nguyen, Linh Anh 3 2009 The Tableau Workbench. Zbl 1347.68297Abate, Pietro; Goré, Rajeev 3 2009 Global caching for coalgebraic description logics. Zbl 1291.03017Goré, Rajeev; Kupke, Clemens; Pattinson, Dirk; Schröder, Lutz 3 2010 Theoremhood-preserving maps characterizing cut elimination for modal provability logics. Zbl 1006.03036Demri, Stéphane; Goré, Rajeev 3 2002 A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic. Zbl 1435.68367Fiorentini, Camillo; Goré, Rajeev; Graham-Lengrand, Stéphane 3 2019 Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S5. Zbl 1126.03023Goré, Rajeev; Tiu, Alwen 2 2007 Analytic cut-free tableaux for regular modal logics of agent beliefs. Zbl 1175.68435Goré, Rajeev; Nguyen, Linh Anh 2 2009 An experimental evaluation of global caching for \(\mathcal {ALC}\). (System description). Zbl 1165.68501Goré, Rajeev; Postniece, Linda 2 2008 A labelled sequent system for tense logic \(\mathbf {K}_t\). Zbl 0928.03005Bonnette, Nicolette; Goré, Rajeev 2 1998 And-or tableaux for fixpoint logics with converse: LTL, CTL, PDL and CPDL. Zbl 1423.68415Goré, Rajeev 2 2014 Cut-elimination for weak Grzegorczyk logic Go. Zbl 1329.03056Goré, Rajeev; Ramanayake, Revantha 2 2014 A labelled sequent calculus for BBI: proof theory and proof search. Zbl 1401.03098Hóu, Zhé; Tiu, Alwen; Goré, Rajeev 2 2013 Analysing vote counting algorithms via logic. And its application to the CADE election scheme. Zbl 1381.68257Beckert, Bernhard; Goré, Rajeev; Schürmann, Carsten 2 2013 Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings. Zbl 0968.00052 2 2001 Optimal tableau algorithms for coalgebraic logics. Zbl 1284.03207Goré, Rajeev; Kupke, Clemens; Pattinson, Dirk 2 2010 Machine checking proof theory: An application of logic to logic. Zbl 1209.03007Goré, Rajeev 2 2009 A general theorem on termination of rewriting. Zbl 1095.68046Dawson, Jeremy E.; Goré, Rajeev 2 2004 Annotation-free sequent calculi for full intuitionistic linear logic. Zbl 1356.03103Clouston, Ranald; Dawson, Jeremy; Goré, Rajeev; Tiu, Alwen 2 2013 A correct polynomial translation of S4 into intuitionistic logic. Zbl 1457.03041Goré, Rajeev; Thomson, Jimmy 2 2019 Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents. Zbl 1435.03084Goré, Rajeev; Lellmann, Björn 2 2019 CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT. Zbl 07532510Goré, Rajeev; Kikkert, Cormac 2 2021 From display calculi to deep nested sequent calculi: formalised for full intuitionistic linear logic. Zbl 1418.03179Dawson, Jeremy E.; Clouston, Ranald; Goré, Rajeev; Tiu, Alwen 1 2014 Termination of abstract reduction systems. Zbl 1170.68502Dawson, Jeremy E.; Goré, Rajeev 1 2009 A proof theoretic analysis of intruder theories. Zbl 1201.68051Tiu, Alwen; Goré, Rajeev 1 2009 Cut-free display calculi for relation algebras. Zbl 0881.03040Goré, Rajeev 1 1997 Machine-checked interpolation theorems for substructural logics using display calculi. Zbl 1476.03007Dawson, Jeremy E.; Brotherston, James; Goré, Rajeev 1 2016 Computer-aided decision-making with trust relations and trust domains (cryptographic applications). Zbl 1361.68275Kramer, Simon; Goré, Rajeev; Okamoto, Eiji 1 2014 Cut-free display calculi for nominal tense logics. Zbl 0931.03032Demri, Stéphane; Goré, Rajeev 1 1999 Yablo’s paradox as a theorem of modal logic. Zbl 1396.03031Forster, Thomas; Goré, Rajeev 1 2016 Grammar logics in nested sequent calculus: proof theory and decision procedures. Zbl 1295.03010Tiu, Alwen; Ianovski, Egor; Goré, Rajeev 1 2012 Taming displayed tense logics using nested sequents with deep inference. Zbl 1260.03043Goré, Rajeev; Postniece, Linda; Tiu, Alwen 1 2009 Completeness of hyper-resolution via the semantics of disjunctive logic programs. Zbl 1185.68630Nguyen Linh Anh; Goré, Rajeev 1 2005 A new machine-checked proof of strong normalisation for display logic. Zbl 1270.03119Dawson, Jeremy E.; Goré, Rajeev 1 2003 Issues in machine-checking the decidability of implicational ticket entailment. Zbl 1496.68373Dawson, Jeremy E.; Goré, Rajeev 1 2017 Display calculi for logics with relative accessibility relations. Zbl 0988.03030Demri, Stéphane; Goré, Rajeev 1 2000 An \({\mathcal O}((n\log n)^3)\)-time transformation from Grz into decidable fragments of classical first-order logic. Zbl 0956.03026Demri, Stéphane; Goré, Rajeev 1 2000 Semi-analytic tableaux for propositional normal modal logics with application to nonmonotonicity. Zbl 0799.03015Goré, Rajeev 1 1991 Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq. Zbl 07532523Goré, Rajeev; Ramanayake, Revantha; Shillito, Ian 1 2021 CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT. Zbl 07532510Goré, Rajeev; Kikkert, Cormac 2 2021 Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq. Zbl 07532523Goré, Rajeev; Ramanayake, Revantha; Shillito, Ian 1 2021 A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic. Zbl 1435.68367Fiorentini, Camillo; Goré, Rajeev; Graham-Lengrand, Stéphane 3 2019 A correct polynomial translation of S4 into intuitionistic logic. Zbl 1457.03041Goré, Rajeev; Thomson, Jimmy 2 2019 Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents. Zbl 1435.03084Goré, Rajeev; Lellmann, Björn 2 2019 Issues in machine-checking the decidability of implicational ticket entailment. Zbl 1496.68373Dawson, Jeremy E.; Goré, Rajeev 1 2017 Machine-checked interpolation theorems for substructural logics using display calculi. Zbl 1476.03007Dawson, Jeremy E.; Brotherston, James; Goré, Rajeev 1 2016 Yablo’s paradox as a theorem of modal logic. Zbl 1396.03031Forster, Thomas; Goré, Rajeev 1 2016 Automated theorem proving for assertions in separation logic with all connectives. Zbl 1465.03053Hóu, Zhé; Goré, Rajeev; Tiu, Alwen 4 2015 Sequent calculus in the topos of trees. Zbl 1461.03060Clouston, Ranald; Goré, Rajeev 3 2015 A history-based theorem prover for intuitionistic propositional logic using global caching: IntHistGC system description. Zbl 1423.68417Goré, Rajeev; Thomson, Jimmy; Wu, Jesse 5 2014 Implementing tableau calculi using BDDs: BDDTab system description. Zbl 1423.68416Goré, Rajeev; Olesen, Kerry; Thomson, Jimmy 4 2014 Proof search for propositional abstract separation logics via labelled sequents. Zbl 1284.68402Hóu, Zhé; Clouston, Ranald; Goré, Rajeev; Tiu, Alwen 3 2014 And-or tableaux for fixpoint logics with converse: LTL, CTL, PDL and CPDL. Zbl 1423.68415Goré, Rajeev 2 2014 Cut-elimination for weak Grzegorczyk logic Go. Zbl 1329.03056Goré, Rajeev; Ramanayake, Revantha 2 2014 From display calculi to deep nested sequent calculi: formalised for full intuitionistic linear logic. Zbl 1418.03179Dawson, Jeremy E.; Clouston, Ranald; Goré, Rajeev; Tiu, Alwen 1 2014 Computer-aided decision-making with trust relations and trust domains (cryptographic applications). Zbl 1361.68275Kramer, Simon; Goré, Rajeev; Okamoto, Eiji 1 2014 ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching. Zbl 1361.68188Goré, Rajeev; Nguyen, Linh Anh 8 2013 A labelled sequent calculus for BBI: proof theory and proof search. Zbl 1401.03098Hóu, Zhé; Tiu, Alwen; Goré, Rajeev 2 2013 Analysing vote counting algorithms via logic. And its application to the CADE election scheme. Zbl 1381.68257Beckert, Bernhard; Goré, Rajeev; Schürmann, Carsten 2 2013 Annotation-free sequent calculi for full intuitionistic linear logic. Zbl 1356.03103Clouston, Ranald; Dawson, Jeremy; Goré, Rajeev; Tiu, Alwen 2 2013 Labelled tree sequents, tree hypersequents and nested (deep) sequents. Zbl 1296.03031Goré, Rajeev; Ramanayake, Revantha 12 2012 Valentini’s cut-elimination for provability logic resolved. Zbl 1254.03113Goré, Rajeev; Ramanayake, Revantha 6 2012 Grammar logics in nested sequent calculus: proof theory and decision procedures. Zbl 1295.03010Tiu, Alwen; Ianovski, Egor; Goré, Rajeev 1 2012 On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics. Zbl 1218.03020Goré, Rajeev; Postniece, Linda; Tiu, Alwen F. 7 2011 Craig interpolation in displayable logics. Zbl 1333.03107Brotherston, James; Goré, Rajeev 5 2011 Cut-elimination and proof search for bi-intuitionistic tense logic. Zbl 1254.03033Goré, Rajeev; Postniece, Linda; Tiu, Alwen 10 2010 Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic. Zbl 1189.03070Goré, Rajeev; Postniece, Linda 10 2010 Generic methods for formalising sequent calculi applied to provability logic. Zbl 1307.03033Dawson, Jeremy E.; Goré, Rajeev 9 2010 Optimal and cut-free tableaux for propositional dynamic logic with converse. Zbl 1291.68345Goré, Rajeev; Widmann, Florian 8 2010 A proof theoretic analysis of intruder theories. Zbl 1201.68052Tiu, Alwen; Gore, Rajeev; Dawson, Jeremy 5 2010 Global caching for coalgebraic description logics. Zbl 1291.03017Goré, Rajeev; Kupke, Clemens; Pattinson, Dirk; Schröder, Lutz 3 2010 Optimal tableau algorithms for coalgebraic logics. Zbl 1284.03207Goré, Rajeev; Kupke, Clemens; Pattinson, Dirk 2 2010 An optimal on-the-fly tableau-based decision procedure for PDL-satisfiability. Zbl 1250.03017Goré, Rajeev; Widmann, Florian 10 2009 An on-the-fly tableau-based decision procedure for PDL-satisfiability. Zbl 1347.68298Abate, Pietro; Goré, Rajeev; Widmann, Florian 6 2009 A first-order policy language for history-based transaction monitoring. Zbl 1250.68182Bauer, Andreas; Goré, Rajeev; Tiu, Alwen 5 2009 Sound global state caching for ALC with inverse roles. Zbl 1260.68372Goré, Rajeev; Widmann, Florian 4 2009 Clausal tableaux for multimodal logics of belief. Zbl 1181.03009Goré, Rajeev; Nguyen, Linh Anh 3 2009 The Tableau Workbench. Zbl 1347.68297Abate, Pietro; Goré, Rajeev 3 2009 Analytic cut-free tableaux for regular modal logics of agent beliefs. Zbl 1175.68435Goré, Rajeev; Nguyen, Linh Anh 2 2009 Machine checking proof theory: An application of logic to logic. Zbl 1209.03007Goré, Rajeev 2 2009 Termination of abstract reduction systems. Zbl 1170.68502Dawson, Jeremy E.; Goré, Rajeev 1 2009 A proof theoretic analysis of intruder theories. Zbl 1201.68051Tiu, Alwen; Goré, Rajeev 1 2009 Taming displayed tense logics using nested sequents with deep inference. Zbl 1260.03043Goré, Rajeev; Postniece, Linda; Tiu, Alwen 1 2009 Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. Zbl 1244.03157Goré, Rajeev; Postniece, Linda; Tiu, Alwen 9 2008 Valentini’s cut-elimination for provability logic resolved. Zbl 1244.03158Goré, Rajeev; Ramanayake, Revantha 5 2008 An experimental evaluation of global caching for \(\mathcal {ALC}\). (System description). Zbl 1165.68501Goré, Rajeev; Postniece, Linda 2 2008 EXPTIME tableaux with global caching for description logics with transitive roles, inverse roles and role hierarchies. Zbl 1132.68731Goré, Rajeev; Nguyen, Linh Anh 10 2007 One-pass tableaux for computation tree logic. Zbl 1137.03304Abate, Pietro; Goré, Rajeev; Widmann, Florian 10 2007 A cut-free sequent calculus for bi-intuitionistic logic. Zbl 1133.03027Buisman, Linda; Goré, Rajeev 6 2007 Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S5. Zbl 1126.03023Goré, Rajeev; Tiu, Alwen 2 2007 A tableau calculus with automaton-labelled formulae for regular grammar logics. Zbl 1142.03328Goré, Rajeev; Nguyen, Linh Anh 4 2005 Completeness of hyper-resolution via the semantics of disjunctive logic programs. Zbl 1185.68630Nguyen Linh Anh; Goré, Rajeev 1 2005 A general theorem on termination of rewriting. Zbl 1095.68046Dawson, Jeremy E.; Goré, Rajeev 2 2004 The tableaux work bench. Zbl 1274.68404Abate, Pietro; Goré, Rajeev 8 2003 A new machine-checked proof of strong normalisation for display logic. Zbl 1270.03119Dawson, Jeremy E.; Goré, Rajeev 1 2003 Formalised cut admissibility for display logic. Zbl 1013.03011Dawson, Jeremy E.; Goré, Rajeev 5 2002 Bimodal logics for reasoning about continuous dynamics. Zbl 1031.03030Davoren, Jen M.; Goré, Rajeev P. 4 2002 Display calculi for nomial tense logics. Zbl 1016.03018Demri, Stéphane; Goré, Rajeev 4 2002 Theoremhood-preserving maps characterizing cut elimination for modal provability logics. Zbl 1006.03036Demri, Stéphane; Goré, Rajeev 3 2002 Free-variable tableaux for propositional modal logics. Zbl 0991.03014Beckert, Bernhard; Goré, Rajeev 5 2001 Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings. Zbl 0968.00052 2 2001 Dual intuitionistic logic revisited. Zbl 0963.03042Goré, Rajeev 18 2000 Display calculi for logics with relative accessibility relations. Zbl 0988.03030Demri, Stéphane; Goré, Rajeev 1 2000 An \({\mathcal O}((n\log n)^3)\)-time transformation from Grz into decidable fragments of classical first-order logic. Zbl 0956.03026Demri, Stéphane; Goré, Rajeev 1 2000 Tableau methods for modal and temporal logics. Zbl 0972.03529Goré, Rajeev 57 1999 Cut-free display calculi for nominal tense logics. Zbl 0931.03032Demri, Stéphane; Goré, Rajeev 1 1999 Substructural logics on display. Zbl 0906.03020Goré, Rajeev 19 1998 Gaggles, Gentzen and Galois: How to display your favourite substructural logic. Zbl 0917.03025Goré, Rajeev 8 1998 A labelled sequent system for tense logic \(\mathbf {K}_t\). Zbl 0928.03005Bonnette, Nicolette; Goré, Rajeev 2 1998 Relations between propositional normal modal logics: An overview. Zbl 0884.03005Goré, Rajeev; Heinle, Wolfgang; Heuerding, Alain 3 1997 Cut-free display calculi for relation algebras. Zbl 0881.03040Goré, Rajeev 1 1997 Cut-free sequent and tableau systems for propositional Diodorean modal logics. Zbl 0807.03036Goré, Rajeev 5 1994 Semi-analytic tableaux for propositional normal modal logics with application to nonmonotonicity. Zbl 0799.03015Goré, Rajeev 1 1991 all cited Publications top 5 cited Publications all top 5 Cited by 309 Authors 18 Goré, Rajeev Prabhakar 8 Hustadt, Ullrich 8 Wansing, Heinrich Theodor 7 Dixon, Clare 7 Ramanayake, Revantha 6 Demri, Stéphane P. 6 Pattinson, Dirk 6 Schmidt, Renate A. 5 Areces, Carlos 5 Dyckhoff, Roy 5 Kaminski, Mark 5 Kuznets, Roman 5 Nguyen, Linh Anh 5 Smolka, Gert 4 Brotherston, James 4 Brünnler, Kai 4 Dawson, Jeremy E. 4 Fiorentini, Camillo 4 Hermo, Montserrat 4 Lucio, Paqui 4 Schröder, Lutz 4 Studer, Thomas 3 Basin, David A. 3 Bernardi, Raffaella 3 Ciabattoni, Agata 3 Ferrari, Mauro 3 Fervari, Raul 3 Fitting, Melvin Chris 3 Kamide, Norihiro 3 Klaedtke, Felix 3 Ma, Minghui 3 Moortgat, Michael 3 Muñoz-Velasco, Emilio 3 Nalon, Cláudia 3 Olarte, Carlos 3 Palmigiano, Alessandra 3 Pimentel, Elaine 3 Reis, Giselle 3 Sadrzadeh, Mehrnoosh 3 Schwarzentruber, François 3 Tiu, Alwen Fernanto 3 Volpe, Marco 3 Widmann, Florian 2 Abate, Pietro 2 Balbiani, Philippe 2 Bezhanishvili, Nick 2 Bolotov, Alexander 2 Britz, Katarina 2 Chaudhuri, Kaustuv 2 Conradie, Willem 2 Deters, Morgan 2 Gaintzarain, Jose 2 Galmiche, Didier 2 Golińska-Pilarek, Joanna 2 Horrocks, Ian 2 Hou, Zhe 2 Iemhoff, Rosalie 2 Indrzejczak, Andrzej 2 Jamroga, Wojciech 2 Kupke, Clemens 2 Kurucz, Agi 2 Lellmann, Björn 2 Leszczyńska-Jasion, Dorota 2 Libal, Tomer 2 Lin, Zhe 2 Méry, Daniel 2 Mora, Angel 2 Motik, Boris 2 Navarro, Marisa 2 Negri, Sara 2 Orejas, Fernando 2 Peterson, Clayton 2 Schneider, Thomas 2 Seylan, İnanç 2 Shramko, Yaroslav V. 2 Szałas, Andrzej 2 Tranchini, Luca 2 van der Giessen, Iris 2 van Ditmarsch, Hans Pieter 2 Varzinczak, Ivan Jóse 2 Waaler, Arild 2 Xavier, Bruno 2 Zălinescu, Eugen 2 Zhang, Lan 1 Aiguier, Marc 1 Alechina, Natasha 1 Alviano, Mario 1 Amerbauer, Martin 1 Andrikonis, Julius 1 Antonsen, Roger 1 Aoyama, Hiroshi 1 Arrazola Ramírez, José Ramón Enrique 1 Aucher, Guillaume 1 Avron, Arnon 1 Ayala-Rincón, Mauricio 1 Baader, Franz 1 Badia, Guillermo 1 Baryannis, George 1 Basold, Henning 1 Batsakis, Sotiris ...and 209 more Authors all top 5 Cited in 40 Serials 18 Studia Logica 12 Journal of Automated Reasoning 11 Journal of Applied Non-Classical Logics 9 Theoretical Computer Science 9 Annals of Pure and Applied Logic 9 Information and Computation 9 Journal of Applied Logic 7 Logica Universalis 6 Journal of Philosophical Logic 6 The Review of Symbolic Logic 5 Logic and Logical Philosophy 5 Logical Methods in Computer Science 4 ACM Transactions on Computational Logic 3 Notre Dame Journal of Formal Logic 3 MSCS. Mathematical Structures in Computer Science 3 Archive for Mathematical Logic 3 Formal Methods in System Design 2 Artificial Intelligence 2 Journal of Symbolic Computation 2 Journal of Logic, Language and Information 2 The Bulletin of Symbolic Logic 2 The Journal of Logic and Algebraic Programming 1 Lithuanian Mathematical Journal 1 Mathematical Notes 1 Algebra and Logic 1 Fuzzy Sets and Systems 1 The Journal of Symbolic Logic 1 Synthese 1 Bulletin of the Section of Logic 1 International Journal of Approximate Reasoning 1 International Journal of Computer Mathematics 1 Indagationes Mathematicae. New Series 1 Applicable Algebra in Engineering, Communication and Computing 1 Mathematical Logic Quarterly (MLQ) 1 Annals of Mathematics and Artificial Intelligence 1 Topoi 1 Journal of the ACM 1 Theory and Practice of Logic Programming 1 Journal of Logical and Algebraic Methods in Programming 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Cited in 10 Fields 204 Mathematical logic and foundations (03-XX) 102 Computer science (68-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 History and biography (01-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year