Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A Relation between Modal Logic and Language Closure Operators - MaRDI portal

A Relation between Modal Logic and Language Closure Operators

From MaRDI portal

Publication:3097967

Jump to:navigation, search

DOI10.3233/FI-2011-512zbMATH Open1252.03041OpenAlexW1526387301MaRDI QIDQ3097967

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

modal logic closure operators Kripke structures formal languages

Mathematics Subject Classification ID

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

Related Items (1)

Title not available (Why is that?)

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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3097967&oldid=16173431"