A note on the tense logic of dominoes

DOI10.1007/BF00248637zbMath0785.03007MaRDI QIDQ1187979

Yde Venema

Publication date: 3 August 1992

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

finite axiomatizationtense logictemporal logicdomino relationtwo-dimensional frame

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (8)

Peirce algebras ⋮ Dynamic squares ⋮ Decidable and undecidable logics with a binary modality ⋮ Taming logic ⋮ Squares in fork arrow logic ⋮ The \(k\)-variable property is stronger than H-dimension \(k\) ⋮ Failure of interpolation in combined modal logics ⋮ Axiomatizing the logical core of XPath 2.0

This page was built for publication: A note on the tense logic of dominoes