Actuality in Intuitionistic Logic.

Satoru Niki, Hitoshi Omori

Browse the full AiML paper archive.