Abstract
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.
You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026
Select search scope: search across all journals or within the current journal
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.