INSTITUT FÜR PHILOSOPHIE I
LOGIK UND ERKENNTNISTHEORIE

      
  

CONTACT

GRIGORY OLKHOVIKOV       

Ruhr-Universität Bochum
Institut für Philosophie I
Universitätsstraße 150
D-44780 Bochum
Deutschland

Room: GA 3/156
+49-234-32-22714
firstname[dot]lastname[at]rub.de

ABOUT ME

  • Since January 2019 – post-doctoral researcher at RUB, as the principal researcher in DFG project OL-589/1-1
  • 2015-2018 – post-doctoral researcher at RUB with Heinrich Wansing, in DFG project WA936/11-1
  • 2015 – Humboldt Fellow (Experienced Researcher Program) at RUB with Heinrich Wansing
  • 2014-2015 – Humboldt Fellow (Experienced Researcher Program) at University of Tuebingen with Peter Schroeder-Heister
  • 2011-2012 – Fulbright Visiting Scholar at Stanford University, Stanford, CA, USA with Grigori Mints
  • 2003 – PhD defense at Ural State University, Ekaterinburg, Russia
  • Link to full CV

 

RESEARCH INTERESTS

  • Modal logic, intuitionistic logic, stit logic of actions, interpolation properties, model theory

OTHER INTERESTS

  • I like swimming and an occasional game of chess

TEACHING

  • Consultation hours by appointment

LECTURES

Semester Course Room/Time
Ss 17/18 Seeing-to-it-that and Its Applications  
Ss 16/17 Intuitio  

 

SELECTED PUBLICATIONS

PUBLISHED

  • Simplified tableaux for STIT imagination logic. In Journal of Philosophical Logic, Online first: 07 February 2019, https://doi.org/10.1007/s10992-019-0950-1 (with Heinrich Wansing)
  • Inference as doxastic Agency. Part I: the basics of justification stit logic. In: Studia Logica (107) 167-194. Online first: 27 January 2018, https://doi.org/10.1007/s11225-017-9779z (with Heinrich Wansing)
  • On generalized van Benthem-type characterizations. In: Annals of Pure and Applied Logic, 2017, (168), 1643–1691.
  • On Flattening Elimination Rules. In: Review of Symbolic Logic, 2014 (7), 60–72 (with Peter Schroeder-Heister)
  • Failure of Interpolation in Constant Domain Intuitionistic Logic. In: Journal of Symbolic Logic, 2013, (78), 937–950 (with Grigori Mints and Alasdair Urquhart)

FORTHCOMING

  • A Lindström Theorem for Intuitionistic Propositional Logic. Accepted for publication in: Notre Dame Journal of Formal Logic (with Guillermo Badia)

SELECTED PRESENTATIONS

PAST

  • 27.08.2018 Failure of Interpolation in Stit Logic. Advances in Modal Logic 2018, University of Bern, Bern, Switzerland
  • 20.06.2017 Proving as A Form of Doxastic Agency and its Representation in Justification Stit Logic. LOGICA 2017 Conference, Hejnice, Czech Republic
  • 28.06.2016 On Expressive Power of Modal Intuitionistic Logic. Logic in Bochum II Conference, Schloss Raesfeld, Germany

FORTHCOMING

  • 20-21.05.2019 Seeing to it that a proof is announced: a survey of justi cation stit logic. 2019 ASL North American Annual Meeting, Special session on justification logics, New York, NY, USA
  • 5-10.08.2019 Stit heuristics and the construction of justification stit logic. 16th International Congress on Logic, Methodology and Philosophy of Science and Technology, Symposium on Logic, Agency, and Rationality, Prague, Czech Republic