Grigory Olkhovikov

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

Selected Publications

• 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)

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

Selected Presentations

• 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

• 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