Intuitionistic Layered Graph Logic.

Simon Docherty, David J. Pym

Browse the full IJCAI paper archive.