 Transparent Intensional Logic

Transparent Intensional Logic (frequently abbreviated as TIL) is a logical system created by Pavel Tichý.Due to its rich "procedural semantics" TIL is in particular apt for the logical analysis of natural language.