Shafiei M. A Higher-order Dialogical Logic to demonstrate Leibniz’s Law of Identity of Indiscernibles. RHV [Internet]. 2017 Jul. 15 [cited 2025 Oct. 25];(9):73-88. Available from: https://revistas.uv.cl/index.php/RHV/article/view/62