✦ LIBER ✦

Temporal Reference in Linear Tense Logic

✍ Scribed by M. J. Cresswell

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

‘Now’ and ‘Then’ in Tense Logic

✍ Ulrich Meyer 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 378 KB

Vectorial languages and linear temporal

✍ Olivier Serre 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 859 KB

Nesting Until and Since in Linear Tempor

✍ Denis Thérien; Thomas Wilke 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 297 KB

Linear temporal logic with until and nex

✍ V. Rybakov 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 373 KB

All Finitely Axiomatizable Tense Logics

✍ Tadeusz Litak; Frank Wolter 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 236 KB

The Tense Logic for Master Argument in P

✍ Tomasz Jarmużek; Andrzej Pietruszczak 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 519 KB