✦ LIBER ✦

An Algebraic Study of Tense Logics with Linear Time

✍ Scribed by R. A. Bull

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Algebraic Study of Tense Logics with

✍ Review by: Nino B. Cocchiarella 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 199 KB

All Finitely Axiomatizable Tense Logics

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

An algebraic axiomatization of the Ewald

✍ Figallo, Aldo V.; Pelaitay, Gustavo 📂 Article 📅 2014 🏛 Springer 🌐 English ⚖ 244 KB

Linear-time temporal logics with Presbur

✍ Demri, Stéphane 📂 Article 📅 2006 🏛 Editions Lavoisier 🌐 English ⚖ 315 KB

Tense-Logic and the Continuity of Timeby

✍ Review by: Alan Ross Anderson 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 301 KB

Index of an implicit time-varying linear

✍ Michel Fliess; Jean Lévine; Pierre Rouchon 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 587 KB