✦ LIBER ✦

A note on the tense logic of dominoes

✍ Scribed by Yde Venema

Publisher: Springer Netherlands
Year: 1992
Tongue: English
Weight: 427 KB
Volume: 21
Category: Article
ISSN: 0022-3611
DOI: 10.1007/bf00248637

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on Chisholm on tense

✍ L. Nathan Oaklander 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 119 KB

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

A note on a subvariety of linear tense a

A note on a subvariety of linear tense algebras

✍ Marta A. Zander 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 118 KB 👁 1 views

## Abstract In [1], Bull gave completeness proofs for three axiom systems with respect to tense logic with time linear and rational, real and integral. The associated varieties, Dens, Cont and Disc, are generated by algebras with frames {ℚ, <, >}, {ℝ, <, >} and {ℤ, <, >}, respectively. In this pape

A note on the logic of design

✍ William Fawcett 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 407 KB

A note on Grzegorczyk's logic

✍ Emil Jeřábek 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 71 KB

## Abstract Grzegorczyk's modal logic (Grz) corresponds to the class of upwards well‐founded partially ordered Kripke frames, however all known proofs of this fact utilize some form of the Axiom of Choice; G. Boolos asked in [1], whether it is provable in plain ZF. We answer his question negatively

A note on the logic of signed equations

✍ Stephen L. Bloom 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 412 KB