Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/ianovski

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.