Savateev, Yury

1. Non-Well-Founded Proofs for the Grzegorczyk Modal Logic
   2018/04/03 by Savateev, Yury, Shamkanov, Daniyar · 5 citations
   #FOS: Mathematics #Logic (math.LO)
2. Cut Elimination for Weak Modal Grzegorczyk Logic via Non-Well-Founded Proofs
   2018/04/03 by Yury Savateev, Savateev, Yury, Daniyar Shamkanov +1 · 2 citations
   Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
3. Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs
   2017/04/11 by Yury Savateev, Savateev, Yury, Daniyar Shamkanov +1 · 1 citation
   Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems