Rajeev Goré

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◁ ▶ single authored publications

> Home > Persons > Rajeev Goré

Publications

2014
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Gore14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Gore14
Rajeev Goré:
And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL. IJCAR 2014: 26-45
2013
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Gore13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Gore13
Rajeev Goré:
Book Reviews. Stud Logica 101(1): 219-228 (2013)
2009
[c44]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/Gore09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/Gore09
Rajeev Goré:
Global Caching, Inverse Roles and Fixpoint Logics. Description Logics 2009
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icla/Gore09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/Gore09
Rajeev Goré:
Machine Checking Proof Theory: An Application of Logic to Logic. ICLA 2009: 23-35
2000
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/Gore00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/Gore00
Rajeev Goré:
Displaying Modal Logic, Heinrich Wansing. J. Log. Lang. Inf. 9(2): 269-272 (2000)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/Gore00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/Gore00
Rajeev Goré:
Dual Intuitionistic Logic Revisited. TABLEAUX 2000: 252-267
1998
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Gore98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Gore98
Rajeev Goré:
Substructural Logics on Display. Log. J. IGPL 6(3): 451-504 (1998)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Gore98a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Gore98a
Rajeev Goré:
Gaggles, Gentzen and Galois: How to display your favourite substructural logic. Log. J. IGPL 6(5): 669-694 (1998)
1996
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/Gore96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/Gore96
Rajeev Goré:
Cut-free Display Calculi for Relation Algebras. CSL 1996: 198-210
1994
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Gore94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Gore94
Rajeev Goré:
Cut-free sequent and tableau systems for propositional Diodorean modal logics. Stud Logica 53(3): 433-458 (1994)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.