Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Grigory Olkhovikov
Map detail
Grigory Olkhovikov3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipGrigory OlkhovikovAGrigory OlkhovikovResearcherConditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian caseWConditional reasoning a...preprint / 2024Failure of interpolation in the intuitionistic logic of constant domainsWFailure of interpolatio...preprint / 2012
Person2 links

Grigory Olkhovikov

Researcher