✦ LIBER ✦

Tense-logic and the continuity of time

✍ Scribed by A. N. Prior

Publisher: Springer Netherlands
Year: 1962
Tongue: English
Weight: 867 KB
Volume: 13
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02317267

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The logical consequence relation of prop

The logical consequence relation of propositional tense logic

✍ S. K. Thomason 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 718 KB

This work concerns the model theory of propositional tense logic with the K R ~K E relational semantics. It is shown (i) that there is a formula y whose logical consequences form a complete l7: set, and (ii) that for 0 m < o + o there are formulas y,, such that all models of y m are isomorphic and h

Some System of Predicate Tense Logic

✍ Helmut Pfeiffer 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 635 KB

A note on the tense logic of dominoes

✍ Yde Venema 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 427 KB

Even more about the lattice of tense log

Even more about the lattice of tense logics

✍ Marcus Kracht 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 855 KB

All Finitely Axiomatizable Tense Logics

All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete

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

Model theory for tense logic: Saturated

Model theory for tense logic: Saturated and special models with applications to the tense hierarchy

✍ Hirokazu Nishimura 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 667 KB