Assertion: interior algebra | /r/CreatedBy | modal logic s4
Facets:
Source sentences:
text: While representation of modal algebras by general modal frames is possible for any normal modal algebra, it is only in the case of interior algebras (which correspond to the modal logic S4) that the general modal frame corresponds to topological field of sets in this manner.