For example, the modal logic S4 is characterized by the class of topological boolean algebras—that is, boolean algebras with an interior operator.
Για παράδειγμα, η τροπική λογική S4 χαρακτηρίζεται από την κλάση των τοπολογικών αλγεβρών Μπουλ (topological boolean algebras)—δηλαδή άλγεβρες Μπουλ με έναν εσωτερικό τελεστή (interior operator).