Vol-2584⫷ Vol-2585 ⫸Vol-2586
urn:nbn:de:0074-2585-0


Vol-2585/paper9⫷Vol-2585/paper10⫸Vol-2585/paper11
P. Selene Linares-ArévaloLourdes Del Carmen González-HuescaFavio Ezequiel Miranda-Perea

On interactive proof-search for constructive modal necessity