The logical consequence relation of prop
โ
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