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
Altenatives to Kripke semantics for epistemic logic - MaRDI portal

Altenatives to Kripke semantics for epistemic logic

From MaRDI portal

Publication:6581946

Jump to:navigation, search

DOI10.21146/2074-1472-2024-30-1-62-85zbMath1547.03097MaRDI QIDQ6581946

Vitaliĭ Vladimirovich Dolgorukov

Publication date: 1 August 2024

Published in: Logicheskie Issledovaniya (Search for Journal in Brave)

zbMATH Keywords

modal logic Kripke semantics epistemic logic diagrammatic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

This page was built for publication: Altenatives to Kripke semantics for epistemic logic

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