Grigory Olkhovikov

Identifiers

• name variant Grigory Olkhovikov 0.60 · backfill

Papers (4)

1. Stit logic of justification announcements: a completeness result math.LO · 2017 · author #1
2. On generalized Van-Benthem-type characterizations math.LO · 2015 · author #1
3. Expressive power of basic modal intuitionistic logic as a fragment of classical FOL math.LO · 2015 · author #1
4. Failure of interpolation in the intuitionistic logic of constant domains math.LO · 2012 · author #2

Mentions

• 1511.05931 #1 · backfill · confidence 0.70 Grigory Olkhovikov
• 1511.01730 #1 · backfill · confidence 0.70 Grigory Olkhovikov
• 1202.3519 #2 · backfill · confidence 0.70 Grigory Olkhovikov

Frequent Coauthors

• Alasdair Urquhart 1 shared papers
• Grigori Mints 1 shared papers