You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

A Relation between Modal Logic and Language Closure Operators

Issue title: Concurrency Specification and Programming (CS&P)

Article type: Research Article

Authors: Kudlek, Manfred

Affiliations: Fachbereich Informatik, MIN-Fakultät, Universität Hamburg, Germany. [email protected]

Note: [] Address for correspondence: Fachbereich Informatik, MIN-Fakultät, Universität Hamburg, Vogt-Kölln-Straße 30. D-22527 Hamburg, Germany

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.

DOI: 10.3233/FI-2011-512

Journal: Fundamenta Informaticae, vol. 109, no. 3, pp. 297-304, 2011

Published: 2011
Price: EUR 27.50
Show more