๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Even more about the lattice of tense logics

โœ Scribed by Marcus Kracht

Publisher
Springer
Year
1992
Tongue
English
Weight
855 KB
Volume
31
Category
Article
ISSN
0933-5846

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

cover
The Book of Even More Awesome (retail)
โœ Pasricha, Neil ๐Ÿ“‚ Fiction ๐Ÿ› Penguin Group USA, Inc. ๐ŸŒ English โš– 930 KB

The next book in the number-one internationally bestselling franchise. In this follow-up to The Book of Awesome, Neil Pasricha looks at even more of the little things that make us smile every day. Neil Pasricha is back with a collection of hundreds more awesome things from the website, as well as