Explore chapters and articles related to this topic
A note on the complexity of S4.2
Published in Journal of Applied Non-Classical Logics, 2021
Aggeliki Chalki, Costas D. Koutras, Yorgos Zikos
Recalling that a relational frame is a set equipped with a binary relation, we proceed to review a few useful properties of binary relations. A binary relation is reflexive iff ; it is irreflexive iff . It is a transitive relation iff . It is an antisymmetric relation iff ; it is a symmetric relation iff . It is weakly directed iff and directed iff .