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
Logics for knowability - MaRDI portal

Logics for knowability

From MaRDI portal

Publication:6484823

Jump to:navigation, search

DOI10.12775/LLP.2021.018zbMath1530.03064MaRDI QIDQ6484823

Hans P. van Ditmarsch, Mo Liu, Jie Fan, Louwe B. Kuijer

Publication date: 21 September 2022

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

decidability expressivity public announcement logic axiomatizations knowability arbitrary public announcement logic

Mathematics Subject Classification ID

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

This page was built for publication: Logics for knowability

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