A note on the tense logic of dominoes (Q1187979): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q385069 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Vladimir Vladimirovich Rybakov / rank | |||
Normal rank |
Revision as of 13:07, 14 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A note on the tense logic of dominoes |
scientific article |
Statements
A note on the tense logic of dominoes (English)
0 references
3 August 1992
0 references
The tense logic of a semantics of a two-dimensional nature, the so-called domino relation, is the subject of this paper. More precisely, a domino- relation is a frame with base set of kind \(U\times U\) and accessibility relation \(R\) such that \((x,y)R(x',y')\iff y=x'\). The author notes that an axiomatization of modal logic for domino-relation semantics is given by S. Kuhn. This axiomatization has infinitely many axioms and a derivation rule of the kind of the Gabbay irreflexivity rule. This paper offers some finite axiomatization for the tense logic of a domino relation which has no rules besides modus ponens and necessitation (right and left type). The main step is the invention of the ``matrix method'', which allows to reach the completeness theorem considerably easier.
0 references
temporal logic
0 references
two-dimensional frame
0 references
tense logic
0 references
domino relation
0 references
finite axiomatization
0 references