Modal-Like Operators in Boolean Lattices, Galois Connections and Fixed Points
Jouni Järvinen, Michiro Kondo, Jari Kortelainen · Fundamenta Informaticae · 2007
In this work, four modal-like operators on Boolean lattices are introduced and their theory is presented from lattice-theoretical, topological and algebraic point of view. It is also shown how rough set approximation operators, modal operators in temporal logic, and linguistic modifiers determined by L-sets can be interpreted as modal-like operators.