Yury Savateev

Identifiers

No identifiers captured yet.

Papers (3)

1. Cut Elimination for Weak Modal Grzegorczyk Logic via Non-Well-Founded Proofs math.LO · 2018 · author #1
2. Non-Well-Founded Proofs for the Grzegorczyk Modal Logic math.LO · 2018 · author #1
3. Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs math.LO · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Daniyar Shamkanov 3 shared papers