On Temporal References via Definite Descriptions in First-Order Monadic Logic of Order.

Andrzej Indrzejczak, Przemyslaw Andrzej Walega, Michal Zawidzki

Browse the full JELIA paper archive.