Egor Ianovski (ianovski)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Tiu, Alwen, Ianovski, Egor and Goré, Rajeev. 2012. “Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 516–537. London: King’s College Publications.