On Graphs for Intuitionistic Modal Logics

Autor: Veloso, Paulo A.S., Veloso, Sheila R.M.
Zdroj: In Electronic Notes in Theoretical Computer Science 11 July 2016 323:215-233
Databáze: ScienceDirect