Syntactic Concept Lattice Models for Infinitary Action Logic.

Stepan L. Kuznetsov

Browse the full WoLLIC paper archive.