A relation between modal logic and language closure operators. (English) Zbl 1252.03041

Summary: Between modal logic and closure operators for topological spaces as well as for formal languages there exists a strong relation. Modal logic allows to define classes of formal languages in several ways.


03B45 Modal logic (including the logic of norms)
68Q45 Formal languages and automata
Full Text: DOI