×

Goré, Rajeev Prabhakar

Author ID: gore.rajeev-prabhakar Recent zbMATH articles by "Goré, Rajeev Prabhakar"
Published as: Goré, Rajeev; Gore, Rajeev; Goré, Rajeev Prabhakar; Goré, Rajeev P.; Goré, R. P.; Gore, R.
Homepage: https://researchers.anu.edu.au/researchers/gore-rp
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

81 Publications have been cited 478 times in 299 Documents Cited by Year
Tableau methods for modal and temporal logics. Zbl 0972.03529
Goré, Rajeev
71
1999
Dual intuitionistic logic revisited. Zbl 0963.03042
Goré, Rajeev
26
2000
Substructural logics on display. Zbl 0906.03020
Goré, Rajeev
22
1998
One-pass tableaux for computation tree logic. Zbl 1137.03304
Abate, Pietro; Goré, Rajeev; Widmann, Florian
13
2007
Cut-elimination and proof search for bi-intuitionistic tense logic. Zbl 1254.03033
Goré, Rajeev; Postniece, Linda; Tiu, Alwen
13
2010
Labelled tree sequents, tree hypersequents and nested (deep) sequents. Zbl 1296.03031
Goré, Rajeev; Ramanayake, Revantha
12
2012
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. Zbl 1244.03157
Goré, Rajeev; Postniece, Linda; Tiu, Alwen
12
2008
Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic. Zbl 1189.03070
Goré, Rajeev; Postniece, Linda
12
2010
Generic methods for formalising sequent calculi applied to provability logic. Zbl 1307.03033
Dawson, Jeremy E.; Goré, Rajeev
11
2010
EXPTIME tableaux with global caching for description logics with transitive roles, inverse roles and role hierarchies. Zbl 1132.68731
Goré, Rajeev; Nguyen, Linh Anh
11
2007
ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching. Zbl 1361.68188
Goré, Rajeev; Nguyen, Linh Anh
11
2013
An optimal on-the-fly tableau-based decision procedure for PDL-satisfiability. Zbl 1250.03017
Goré, Rajeev; Widmann, Florian
11
2009
Gaggles, Gentzen and Galois: How to display your favourite substructural logic. Zbl 0917.03025
Goré, Rajeev
10
1998
On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics. Zbl 1218.03020
Goré, Rajeev; Postniece, Linda; Tiu, Alwen F.
10
2011
Valentini’s cut-elimination for provability logic resolved. Zbl 1254.03113
Goré, Rajeev; Ramanayake, Revantha
9
2012
Optimal and cut-free tableaux for propositional dynamic logic with converse. Zbl 1291.68345
Goré, Rajeev; Widmann, Florian
8
2010
The tableaux work bench. Zbl 1274.68404
Abate, Pietro; Goré, Rajeev
8
2003
Implementing tableau calculi using BDDs: BDDTab system description. Zbl 1423.68416
Goré, Rajeev; Olesen, Kerry; Thomson, Jimmy
7
2014
A cut-free sequent calculus for bi-intuitionistic logic. Zbl 1133.03027
Buisman, Linda; Goré, Rajeev
7
2007
And-or tableaux for fixpoint logics with converse: LTL, CTL, PDL and CPDL. Zbl 1423.68415
Goré, Rajeev
6
2014
Cut-free sequent and tableau systems for propositional Diodorean modal logics. Zbl 0807.03036
Goré, Rajeev
6
1994
Automated theorem proving for assertions in separation logic with all connectives. Zbl 1465.03053
Hóu, Zhé; Goré, Rajeev; Tiu, Alwen
6
2015
An on-the-fly tableau-based decision procedure for PDL-satisfiability. Zbl 1347.68298
Abate, Pietro; Goré, Rajeev; Widmann, Florian
6
2009
A first-order policy language for history-based transaction monitoring. Zbl 1250.68182
Bauer, Andreas; Goré, Rajeev; Tiu, Alwen
6
2009
CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT. Zbl 07532510
Goré, Rajeev; Kikkert, Cormac
6
2021
A history-based theorem prover for intuitionistic propositional logic using global caching: IntHistGC system description. Zbl 1423.68417
Goré, Rajeev; Thomson, Jimmy; Wu, Jesse
5
2014
Free-variable tableaux for propositional modal logics. Zbl 0991.03014
Beckert, Bernhard; Goré, Rajeev
5
2001
Formalised cut admissibility for display logic. Zbl 1013.03011
Dawson, Jeremy E.; Goré, Rajeev
5
2002
Proof search for propositional abstract separation logics via labelled sequents. Zbl 1284.68402
Hóu, Zhé; Clouston, Ranald; Goré, Rajeev; Tiu, Alwen
5
2014
A proof theoretic analysis of intruder theories. Zbl 1201.68052
Tiu, Alwen; Gore, Rajeev; Dawson, Jeremy
5
2010
Clausal tableaux for multimodal logics of belief. Zbl 1181.03009
Goré, Rajeev; Nguyen, Linh Anh
5
2009
Valentini’s cut-elimination for provability logic resolved. Zbl 1244.03158
Goré, Rajeev; Ramanayake, Revantha
5
2008
Craig interpolation in displayable logics. Zbl 1333.03107
Brotherston, James; Goré, Rajeev
5
2011
Sound global state caching for ALC with inverse roles. Zbl 1260.68372
Goré, Rajeev; Widmann, Florian
5
2009
Bi-intuitionistic logics: a new instance of an old problem. Zbl 1535.03047
Goré, Rajeev; Shillito, Ian
5
2020
Display calculi for nomial tense logics. Zbl 1016.03018
Demri, Stéphane; Goré, Rajeev
4
2002
Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings. Zbl 0968.00052
4
2001
Bimodal logics for reasoning about continuous dynamics. Zbl 1031.03030
Davoren, Jen M.; Goré, Rajeev P.
4
2002
Global caching for coalgebraic description logics. Zbl 1291.03017
Goré, Rajeev; Kupke, Clemens; Pattinson, Dirk; Schröder, Lutz
4
2010
A tableau calculus with automaton-labelled formulae for regular grammar logics. Zbl 1142.03328
Goré, Rajeev; Nguyen, Linh Anh
4
2005
Annotation-free sequent calculi for full intuitionistic linear logic. Zbl 1356.03103
Clouston, Ranald; Dawson, Jeremy; Goré, Rajeev; Tiu, Alwen
4
2013
A labelled sequent calculus for BBI: proof theory and proof search. Zbl 1401.03098
Hóu, Zhé; Tiu, Alwen; Goré, Rajeev
4
2013
Analytic cut-free tableaux for regular modal logics of agent beliefs. Zbl 1175.68435
Goré, Rajeev; Nguyen, Linh Anh
4
2009
A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic. Zbl 1435.68367
Fiorentini, Camillo; Goré, Rajeev; Graham-Lengrand, Stéphane
4
2019
Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq. Zbl 07532523
Goré, Rajeev; Ramanayake, Revantha; Shillito, Ian
4
2021
Relations between propositional normal modal logics: An overview. Zbl 0884.03005
Goré, Rajeev; Heinle, Wolfgang; Heuerding, Alain
3
1997
A general theorem on termination of rewriting. Zbl 1095.68046
Dawson, Jeremy E.; Goré, Rajeev
3
2004
Theoremhood-preserving maps characterizing cut elimination for modal provability logics. Zbl 1006.03036
Demri, Stéphane; Goré, Rajeev
3
2002
Sequent calculus in the topos of trees. Zbl 1461.03060
Clouston, Ranald; Goré, Rajeev
3
2015
The Tableau Workbench. Zbl 1347.68297
Abate, Pietro; Goré, Rajeev
3
2009
An experimental evaluation of global caching for \(\mathcal {ALC}\). (System description). Zbl 1165.68501
Goré, Rajeev; Postniece, Linda
3
2008
Optimal tableau algorithms for coalgebraic logics. Zbl 1284.03207
Goré, Rajeev; Kupke, Clemens; Pattinson, Dirk
3
2010
Verified decision procedures for modal logics. Zbl 07649980
Wu, Minchao; Goré, Rajeev
3
2019
Syntactic interpolation for tense logics and bi-intuitionistic logic via nested sequents. Zbl 07650841
Lyon, Tim; Tiu, Alwen; Goré, Rajeev; Clouston, Ranald
3
2020
Semi-analytic tableaux for propositional normal modal logics with application to nonmonotonicity. Zbl 0799.03015
Goré, Rajeev
2
1991
Cut-elimination for weak Grzegorczyk logic Go. Zbl 1329.03056
Goré, Rajeev; Ramanayake, Revantha
2
2014
Grammar logics in nested sequent calculus: proof theory and decision procedures. Zbl 1295.03010
Tiu, Alwen; Ianovski, Egor; Goré, Rajeev
2
2012
Cut-free display calculi for relation algebras. Zbl 0881.03040
Goré, Rajeev
2
1997
Machine checking proof theory: An application of logic to logic. Zbl 1209.03007
Goré, Rajeev
2
2009
Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S5. Zbl 1126.03023
Goré, Rajeev; Tiu, Alwen
2
2007
A labelled sequent system for tense logic \(\mathbf {K}_t\). Zbl 0928.03005
Bonnette, Nicolette; Goré, Rajeev
2
1998
Taming displayed tense logics using nested sequents with deep inference. Zbl 1260.03043
Goré, Rajeev; Postniece, Linda; Tiu, Alwen
2
2009
Analysing vote counting algorithms via logic. And its application to the CADE election scheme. Zbl 1381.68257
Beckert, Bernhard; Goré, Rajeev; Schürmann, Carsten
2
2013
A new machine-checked proof of strong normalisation for display logic. Zbl 1270.03119
Dawson, Jeremy E.; Goré, Rajeev
2
2003
Free variable tableaux for propositional modal logics. Zbl 1415.03018
Beckert, Bernhard; Goré, Rajeev
2
1997
A correct polynomial translation of S4 into intuitionistic logic. Zbl 1457.03041
Goré, Rajeev; Thomson, Jimmy
2
2019
Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents. Zbl 1435.03084
Goré, Rajeev; Lellmann, Björn
2
2019
A formally verified cut-elimination procedure for linear nested sequents for tense logic. Zbl 07532522
D’Abrera, Caitlin; Dawson, Jeremy; Goré, Rajeev
2
2021
From display calculi to deep nested sequent calculi: formalised for full intuitionistic linear logic. Zbl 1418.03179
Dawson, Jeremy E.; Clouston, Ranald; Goré, Rajeev; Tiu, Alwen
1
2014
Display calculi for logics with relative accessibility relations. Zbl 0988.03030
Demri, 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.03026
Demri, Stéphane; Goré, Rajeev
1
2000
Computer-aided decision-making with trust relations and trust domains (cryptographic applications). Zbl 1361.68275
Kramer, Simon; Goré, Rajeev; Okamoto, Eiji
1
2014
Cut-free display calculi for nominal tense logics. Zbl 0931.03032
Demri, Stéphane; Goré, Rajeev
1
1999
Machine-checked interpolation theorems for substructural logics using display calculi. Zbl 1476.03007
Dawson, Jeremy E.; Brotherston, James; Goré, Rajeev
1
2016
Issues in machine-checking the decidability of implicational ticket entailment. Zbl 1496.68373
Dawson, Jeremy E.; Goré, Rajeev
1
2017
Yablo’s paradox as a theorem of modal logic. Zbl 1396.03031
Forster, Thomas; Goré, Rajeev
1
2016
Completeness of hyper-resolution via the semantics of disjunctive logic programs. Zbl 1185.68630
Nguyen Linh Anh; Goré, Rajeev
1
2005
Termination of abstract reduction systems. Zbl 1170.68502
Dawson, Jeremy E.; Goré, Rajeev
1
2009
Modular labelled sequent calculi for abstract separation logics. Zbl 1407.03046
Hóu, Zhé; Clouston, Ranald; Goré, Rajeev; Tiu, Alwen
1
2018
A proof theoretic analysis of intruder theories. Zbl 1201.68051
Tiu, Alwen; Goré, Rajeev
1
2009
Direct elimination of additive-cuts in GL4ip: verified and extracted. Zbl 1518.03015
Goré, Rajeev; Shillito, Ian
1
2022
Direct elimination of additive-cuts in GL4ip: verified and extracted. Zbl 1518.03015
Goré, Rajeev; Shillito, Ian
1
2022
CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT. Zbl 07532510
Goré, Rajeev; Kikkert, Cormac
6
2021
Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq. Zbl 07532523
Goré, Rajeev; Ramanayake, Revantha; Shillito, Ian
4
2021
A formally verified cut-elimination procedure for linear nested sequents for tense logic. Zbl 07532522
D’Abrera, Caitlin; Dawson, Jeremy; Goré, Rajeev
2
2021
Bi-intuitionistic logics: a new instance of an old problem. Zbl 1535.03047
Goré, Rajeev; Shillito, Ian
5
2020
Syntactic interpolation for tense logics and bi-intuitionistic logic via nested sequents. Zbl 07650841
Lyon, Tim; Tiu, Alwen; Goré, Rajeev; Clouston, Ranald
3
2020
A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic. Zbl 1435.68367
Fiorentini, Camillo; Goré, Rajeev; Graham-Lengrand, Stéphane
4
2019
Verified decision procedures for modal logics. Zbl 07649980
Wu, Minchao; Goré, Rajeev
3
2019
A correct polynomial translation of S4 into intuitionistic logic. Zbl 1457.03041
Goré, Rajeev; Thomson, Jimmy
2
2019
Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents. Zbl 1435.03084
Goré, Rajeev; Lellmann, Björn
2
2019
Modular labelled sequent calculi for abstract separation logics. Zbl 1407.03046
Hóu, Zhé; Clouston, Ranald; Goré, Rajeev; Tiu, Alwen
1
2018
Issues in machine-checking the decidability of implicational ticket entailment. Zbl 1496.68373
Dawson, Jeremy E.; Goré, Rajeev
1
2017
Machine-checked interpolation theorems for substructural logics using display calculi. Zbl 1476.03007
Dawson, Jeremy E.; Brotherston, James; Goré, Rajeev
1
2016
Yablo’s paradox as a theorem of modal logic. Zbl 1396.03031
Forster, Thomas; Goré, Rajeev
1
2016
Automated theorem proving for assertions in separation logic with all connectives. Zbl 1465.03053
Hóu, Zhé; Goré, Rajeev; Tiu, Alwen
6
2015
Sequent calculus in the topos of trees. Zbl 1461.03060
Clouston, Ranald; Goré, Rajeev
3
2015
Implementing tableau calculi using BDDs: BDDTab system description. Zbl 1423.68416
Goré, Rajeev; Olesen, Kerry; Thomson, Jimmy
7
2014
And-or tableaux for fixpoint logics with converse: LTL, CTL, PDL and CPDL. Zbl 1423.68415
Goré, Rajeev
6
2014
A history-based theorem prover for intuitionistic propositional logic using global caching: IntHistGC system description. Zbl 1423.68417
Goré, Rajeev; Thomson, Jimmy; Wu, Jesse
5
2014
Proof search for propositional abstract separation logics via labelled sequents. Zbl 1284.68402
Hóu, Zhé; Clouston, Ranald; Goré, Rajeev; Tiu, Alwen
5
2014
Cut-elimination for weak Grzegorczyk logic Go. Zbl 1329.03056
Goré, Rajeev; Ramanayake, Revantha
2
2014
From display calculi to deep nested sequent calculi: formalised for full intuitionistic linear logic. Zbl 1418.03179
Dawson, Jeremy E.; Clouston, Ranald; Goré, Rajeev; Tiu, Alwen
1
2014
Computer-aided decision-making with trust relations and trust domains (cryptographic applications). Zbl 1361.68275
Kramer, Simon; Goré, Rajeev; Okamoto, Eiji
1
2014
ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching. Zbl 1361.68188
Goré, Rajeev; Nguyen, Linh Anh
11
2013
Annotation-free sequent calculi for full intuitionistic linear logic. Zbl 1356.03103
Clouston, Ranald; Dawson, Jeremy; Goré, Rajeev; Tiu, Alwen
4
2013
A labelled sequent calculus for BBI: proof theory and proof search. Zbl 1401.03098
Hóu, Zhé; Tiu, Alwen; Goré, Rajeev
4
2013
Analysing vote counting algorithms via logic. And its application to the CADE election scheme. Zbl 1381.68257
Beckert, Bernhard; Goré, Rajeev; Schürmann, Carsten
2
2013
Labelled tree sequents, tree hypersequents and nested (deep) sequents. Zbl 1296.03031
Goré, Rajeev; Ramanayake, Revantha
12
2012
Valentini’s cut-elimination for provability logic resolved. Zbl 1254.03113
Goré, Rajeev; Ramanayake, Revantha
9
2012
Grammar logics in nested sequent calculus: proof theory and decision procedures. Zbl 1295.03010
Tiu, Alwen; Ianovski, Egor; Goré, Rajeev
2
2012
On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics. Zbl 1218.03020
Goré, Rajeev; Postniece, Linda; Tiu, Alwen F.
10
2011
Craig interpolation in displayable logics. Zbl 1333.03107
Brotherston, James; Goré, Rajeev
5
2011
Cut-elimination and proof search for bi-intuitionistic tense logic. Zbl 1254.03033
Goré, Rajeev; Postniece, Linda; Tiu, Alwen
13
2010
Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic. Zbl 1189.03070
Goré, Rajeev; Postniece, Linda
12
2010
Generic methods for formalising sequent calculi applied to provability logic. Zbl 1307.03033
Dawson, Jeremy E.; Goré, Rajeev
11
2010
Optimal and cut-free tableaux for propositional dynamic logic with converse. Zbl 1291.68345
Goré, Rajeev; Widmann, Florian
8
2010
A proof theoretic analysis of intruder theories. Zbl 1201.68052
Tiu, Alwen; Gore, Rajeev; Dawson, Jeremy
5
2010
Global caching for coalgebraic description logics. Zbl 1291.03017
Goré, Rajeev; Kupke, Clemens; Pattinson, Dirk; Schröder, Lutz
4
2010
Optimal tableau algorithms for coalgebraic logics. Zbl 1284.03207
Goré, Rajeev; Kupke, Clemens; Pattinson, Dirk
3
2010
An optimal on-the-fly tableau-based decision procedure for PDL-satisfiability. Zbl 1250.03017
Goré, Rajeev; Widmann, Florian
11
2009
An on-the-fly tableau-based decision procedure for PDL-satisfiability. Zbl 1347.68298
Abate, Pietro; Goré, Rajeev; Widmann, Florian
6
2009
A first-order policy language for history-based transaction monitoring. Zbl 1250.68182
Bauer, Andreas; Goré, Rajeev; Tiu, Alwen
6
2009
Clausal tableaux for multimodal logics of belief. Zbl 1181.03009
Goré, Rajeev; Nguyen, Linh Anh
5
2009
Sound global state caching for ALC with inverse roles. Zbl 1260.68372
Goré, Rajeev; Widmann, Florian
5
2009
Analytic cut-free tableaux for regular modal logics of agent beliefs. Zbl 1175.68435
Goré, Rajeev; Nguyen, Linh Anh
4
2009
The Tableau Workbench. Zbl 1347.68297
Abate, Pietro; Goré, Rajeev
3
2009
Machine checking proof theory: An application of logic to logic. Zbl 1209.03007
Goré, Rajeev
2
2009
Taming displayed tense logics using nested sequents with deep inference. Zbl 1260.03043
Goré, Rajeev; Postniece, Linda; Tiu, Alwen
2
2009
Termination of abstract reduction systems. Zbl 1170.68502
Dawson, Jeremy E.; Goré, Rajeev
1
2009
A proof theoretic analysis of intruder theories. Zbl 1201.68051
Tiu, Alwen; Goré, Rajeev
1
2009
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. Zbl 1244.03157
Goré, Rajeev; Postniece, Linda; Tiu, Alwen
12
2008
Valentini’s cut-elimination for provability logic resolved. Zbl 1244.03158
Goré, Rajeev; Ramanayake, Revantha
5
2008
An experimental evaluation of global caching for \(\mathcal {ALC}\). (System description). Zbl 1165.68501
Goré, Rajeev; Postniece, Linda
3
2008
One-pass tableaux for computation tree logic. Zbl 1137.03304
Abate, Pietro; Goré, Rajeev; Widmann, Florian
13
2007
EXPTIME tableaux with global caching for description logics with transitive roles, inverse roles and role hierarchies. Zbl 1132.68731
Goré, Rajeev; Nguyen, Linh Anh
11
2007
A cut-free sequent calculus for bi-intuitionistic logic. Zbl 1133.03027
Buisman, Linda; Goré, Rajeev
7
2007
Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S5. Zbl 1126.03023
Goré, Rajeev; Tiu, Alwen
2
2007
A tableau calculus with automaton-labelled formulae for regular grammar logics. Zbl 1142.03328
Goré, Rajeev; Nguyen, Linh Anh
4
2005
Completeness of hyper-resolution via the semantics of disjunctive logic programs. Zbl 1185.68630
Nguyen Linh Anh; Goré, Rajeev
1
2005
A general theorem on termination of rewriting. Zbl 1095.68046
Dawson, Jeremy E.; Goré, Rajeev
3
2004
The tableaux work bench. Zbl 1274.68404
Abate, Pietro; Goré, Rajeev
8
2003
A new machine-checked proof of strong normalisation for display logic. Zbl 1270.03119
Dawson, Jeremy E.; Goré, Rajeev
2
2003
Formalised cut admissibility for display logic. Zbl 1013.03011
Dawson, Jeremy E.; Goré, Rajeev
5
2002
Display calculi for nomial tense logics. Zbl 1016.03018
Demri, Stéphane; Goré, Rajeev
4
2002
Bimodal logics for reasoning about continuous dynamics. Zbl 1031.03030
Davoren, Jen M.; Goré, Rajeev P.
4
2002
Theoremhood-preserving maps characterizing cut elimination for modal provability logics. Zbl 1006.03036
Demri, Stéphane; Goré, Rajeev
3
2002
Free-variable tableaux for propositional modal logics. Zbl 0991.03014
Beckert, Bernhard; Goré, Rajeev
5
2001
Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings. Zbl 0968.00052
4
2001
Dual intuitionistic logic revisited. Zbl 0963.03042
Goré, Rajeev
26
2000
Display calculi for logics with relative accessibility relations. Zbl 0988.03030
Demri, 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.03026
Demri, Stéphane; Goré, Rajeev
1
2000
Tableau methods for modal and temporal logics. Zbl 0972.03529
Goré, Rajeev
71
1999
Cut-free display calculi for nominal tense logics. Zbl 0931.03032
Demri, Stéphane; Goré, Rajeev
1
1999
Substructural logics on display. Zbl 0906.03020
Goré, Rajeev
22
1998
Gaggles, Gentzen and Galois: How to display your favourite substructural logic. Zbl 0917.03025
Goré, Rajeev
10
1998
A labelled sequent system for tense logic \(\mathbf {K}_t\). Zbl 0928.03005
Bonnette, Nicolette; Goré, Rajeev
2
1998
Relations between propositional normal modal logics: An overview. Zbl 0884.03005
Goré, Rajeev; Heinle, Wolfgang; Heuerding, Alain
3
1997
Cut-free display calculi for relation algebras. Zbl 0881.03040
Goré, Rajeev
2
1997
Free variable tableaux for propositional modal logics. Zbl 1415.03018
Beckert, Bernhard; Goré, Rajeev
2
1997
Cut-free sequent and tableau systems for propositional Diodorean modal logics. Zbl 0807.03036
Goré, Rajeev
6
1994
Semi-analytic tableaux for propositional normal modal logics with application to nonmonotonicity. Zbl 0799.03015
Goré, Rajeev
2
1991
all top 5

Cited by 370 Authors

22 Goré, Rajeev Prabhakar
10 Hustadt, Ullrich
10 Wansing, Heinrich Theodor
9 Dixon, Clare
9 Pattinson, Dirk
7 Demri, Stéphane P.
7 Hermo, Montserrat
7 Lucio, Paqui
7 Ramanayake, Revantha
7 Schröder, Lutz
6 Kaminski, Mark
6 Nalon, Cláudia
6 Schmidt, Renate A.
6 Smolka, Gert
6 Tiu, Alwen Fernanto
5 Areces, Carlos
5 Dyckhoff, Roy
5 Fitting, Melvin Chris
5 Kuznets, Roman
5 Nguyen, Linh Anh
5 Palmigiano, Alessandra
5 Pimentel, Elaine
4 Bolotov, Alexander
4 Brünnler, Kai
4 Dawson, Jeremy E.
4 Fervari, Raul
4 Fiorentini, Camillo
4 Hou, Zhe
4 Kamide, Norihiro
4 Olarte, Carlos
4 Studer, Thomas
3 Balbiani, Philippe
3 Basin, David A.
3 Bellin, Gianluigi
3 Bernardi, Raffaella
3 Brotherston, James
3 Ciabattoni, Agata
3 Ferrari, Mauro
3 Greco, Giuseppe
3 Iemhoff, Rosalie
3 Klaedtke, Felix
3 Kupke, Clemens
3 Lyon, Tim S.
3 Ma, Minghui
3 Massacci, Fabio
3 Moortgat, Michael
3 Muñoz-Velasco, Emilio
3 Negri, Sara
3 Papacchini, Fabio
3 Reis, Giselle
3 Sadrzadeh, Mehrnoosh
3 Schwarzentruber, François
3 Shramko, Yaroslav V.
3 Tranchini, Luca
3 van der Giessen, Iris
3 Varzinczak, Ivan Jóse
3 Volpe, Marco
3 Widmann, Florian
3 Xavier, Bruno
2 Abate, Pietro
2 Abuin, Alex
2 Alviano, Mario
2 Badia, Guillermo
2 Baryannis, George
2 Batsakis, Sotiris
2 Bezhanishvili, Nick
2 Blaisdell, Eben
2 Britz, Katarina
2 Chaudhuri, Kaustuv
2 Clouston, Ranald A.
2 Conradie, Willem
2 Deters, Morgan
2 Donini, Francesco M.
2 Drobyshevich, Sergeĭ Andreevich
2 Gaintzarain, Jose
2 Galmiche, Didier
2 Golińska-Pilarek, Joanna
2 Hausmann, Daniel
2 Horrocks, Ian
2 Indrzejczak, Andrzej
2 Jamroga, Wojciech
2 Jarmużek, Tomasz
2 Kanovich, Max Iosifovich
2 Koutras, Costas D.
2 Kurucz, Agi
2 Kuznetsov, Stepan L’vovich
2 Lellmann, Björn
2 Leszczyńska-Jasion, Dorota
2 Libal, Tomer
2 Lin, Zhe
2 Liu, Yang
2 Méry, Daniel
2 Mora, Angel
2 Motik, Boris
2 Navarro, Marisa
2 Olivetti, Nicola
2 Orejas, Fernando
2 Orlandelli, Eugenio
2 Peterson, Clayton
2 Postniece, Linda
...and 270 more Authors
all top 5

Cited in 41 Serials

19 Studia Logica
15 Journal of Automated Reasoning
14 Journal of Applied Non-Classical Logics
11 Annals of Pure and Applied Logic
10 Information and Computation
10 Journal of Applied Logic
9 Theoretical Computer Science
7 Logica Universalis
7 Logical Methods in Computer Science
7 The Review of Symbolic Logic
6 Journal of Philosophical Logic
6 Logic and Logical Philosophy
6 ACM Transactions on Computational Logic
4 Mathematical Structures in Computer Science
4 Archive for Mathematical Logic
4 Journal of Logical and Algebraic Methods in Programming
3 Notre Dame Journal of Formal Logic
3 Journal of Symbolic Computation
3 Formal Methods in System Design
3 Journal of Logic, Language and Information
2 Artificial Intelligence
2 Bulletin of the Section of Logic
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 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 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
1 Logicheskie Issledovaniya

Citations by Year