✦ LIBER ✦

Finite Trees in Tense Logic

✍ Scribed by Fabio Bellissima; Saverio Cittadini

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Union of logics modeled by finite trees

✍ Ya. M. Drugush 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 654 KB

Characterizing CTL-like logics on finite

✍ Zoltán Ésik 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 293 KB

‘Now’ and ‘Then’ in Tense Logic

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

Temporal Reference in Linear Tense Logic

✍ M. J. Cresswell 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 547 KB

On decidable, finitely axiomatizable, mo

✍ Dov M. Gabbay 📂 Article 📅 1971 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 586 KB

On decidable, finitely axiomatizable, mo

✍ Dov M. Gabbay 📂 Article 📅 1971 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 267 KB