No label defined (Q3976918)

Let \(K = \bigl( W,R,\{ d_ i\} _{1\leq i\leq \omega}\bigr)\) be a Post- Kripke frame, i.e. \(R\) is reflexive and transitive and \(d_ i:\;W\to W\) is a function in \(W\) such that 1) \(d_ i d_ j x = d_ i x\); 2) \((x,d_ 1 x) \in R\); 3) \((d_{i+1} x,d_ i x) \in R\) for any \(i\); 4) \((d_ i x,x) \in R\) iff \((x,d_{i+1} x) \in R\); 5) for any \(x \in W\) there is \(i\) such that \((d_ i x,x) \in R\). The author defines a class of algebras based on Post-Kripke frames in the following way: the elements of the algebras are binary relations of the form \(X \times W\) for \(X \subseteq W\) (i.e. sets ``dummy embedded'' into \(W \times W\); the operations in the algebras are counterparts of propositional operations in the Post logic --- for \(A,B \in \bigl\{ X \times W:\;X \subseteq W\bigr\}\), \(A \cup B\), \(A \cap B\), \(-A\) are the usual set-theoretical operations, \(A \to B = \bigl\{ (x,y):\text{ for all }z,\text{ if } (x,z) \in R \text{ and }(z,y)\in A,\text{ then }(z,y) \in B\bigr\} \); \(\neg A = \bigl\{ (x,y):\text{ for all }z\text{ if }(x,z) \in R,\text{ then }(z,y)\notin A\bigl\} \); \(D_ i A= \bigl\{ (x,y):\;(d_ ix,y)\in A\bigl\} \); \(E_ i = \bigl\{ (x,y):\;(d_ ix,y)\in R\bigl\} \) for \(0<i<\omega\); \(E_ 0 = \emptyset\); \(E_ \omega = W \times W\). The author demonstrates that the set algebras described above, are algebraic models of Post logics.