Favio E. Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo. On Interactive Proof-Search for Constructive Modal Necessity. In Pilar Pozos Parra, José Raymundo Marcial-Romero, editors, Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2018, Puebla, Mexico, November 15, 2018 & LANMR 2019, Puebla, Mexico, November 15, 2019. Volume 354 of Electronic Notes in Theoretical Computer Science, pages 107-127, Elsevier, 2019. [doi]
Abstract is missing.