A Relation between Modal Logic and Language Closure Operators

• Autorzy: Kudlek M.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

modal logic; language closure operations; language classes

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2011
• Tom: Vol. 109, nr 3
• Strony: 297--304
• Opis fizyczny: Bibliogr. 6 poz., tab.

Twórcy

autor

Kudlek M.

• Fachbereich Informatik, MIN-Fakultät, Universität Hamburg, Vogt-Kölln-Straße 30. D-22527 Hamburg, Germany,

Bibliografia

• [1] Janusz Brzozowski, Elyot Grant, Jeffrey Shallit: Closures in Formal Languages and Kuratowski's Theorem. Proc. DLT 2009, Springer LNCS 5583, pp. 125-144, 2009.
• [2] Brian F. Chellas: Modal Logic - an Introduction. Cambridge University Press, 1980.
• [3] George Edward Hughes,Maxwell John Cresswell: An Introduction to Modal Logic.Methuen, London, 1968.
• [4] Manfred Kudlek, Victor Mitrana: Closure Properties of Multiset Language Families. Fund. Inf. 49 (1-3), pp.191-203, 2002.
• [5] Kazimierz (Casimir) Kuratowski: Sur l'Ope´ration A¯ de l'Analysis Situs. Fund. Math. 3, pp. 182-199, 1922.
• [6] David Peleg: A Generalized Closure and Complement Phenomenon. Discrete Mathematics 50, pp. 285-293, 1984.