Goldblatt-Thomason-Style Characterization for Intuitionistic Inquisitive Logic.

Katsuhiko Sano

Browse the full AiML paper archive.