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
A partial order is a reflexive, antisymmetric and transitive relation. A strict order is an irreflexive and transitive relation; a strict order gives rise to a corresponding partial order and vice versa (Davey & Priestley, 2002). A partial pre-order (or quasi-order) is a reflexive and transitive binary relation. Following a rather common abuse of terminology, when speaking about a frame , where is a partial pre-order (or a partial order) we will call the frame ‘a partial pre-order’ (or ‘a partial order’) instead of a ‘pre-ordered set’ (or a poset, a ‘partially ordered set’).