Temporal Interpretation of Intuitionistic Quantifiers.

Guram Bezhanishvili, Luca Carai

Browse the full AiML paper archive.