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
Modified neighborhood semantics for Kaminski logic - MaRDI portal

Modified neighborhood semantics for Kaminski logic

From MaRDI portal

Publication:1406363

Jump to:navigation, search

zbMath1025.03016MaRDI QIDQ1406363

Aleksandr D. Yashin

Publication date: 4 September 2003

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

neighborhood semantics finite approximability intuitionistic logic of expressions Kaminski logic modalized tense operator

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: Modified neighborhood semantics for Kaminski logic

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