A relation between modal logic and language closure operators

DOI10.3233/FI-2011-512MaRDI QIDQ3097967zbMATH OpenOpenAlexFDO

Authors Manfred Kudlek

Publication date 10 November 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2011-512

zbMATH Keywords

closure operatorsformal languagesKripke structuresmodal logic

Mathematics Subject Classification ID

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

Recommendations

• Some Connections between Topological and Modal Logic
• Modal languages for topology: expressivity and definability
• Formal systems for modal operators on locales
• scientific article; zbMATH DE number 4061199
• Topological Modal Logics with Difference Modality

Cited in

(5)

• Modal languages for topology: expressivity and definability
• Formal systems for modal operators on locales
• scientific article; zbMATH DE number 4010491 (Why is no real title available?)
• [top ][top ]-closed relations and admissibility
• scientific article; zbMATH DE number 6960287 (Why is no real title available?)

This page was built for publication: A relation between modal logic and language closure operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3097967)