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
Constructive dynamic logic of relation changers - MaRDI portal

Constructive dynamic logic of relation changers

From MaRDI portal

Publication:2055760

Jump to:navigation, search

DOI10.1007/978-3-030-65840-3_9OpenAlexW3114226420MaRDI QIDQ2055760

Ryo Hatano, Katsuhiko Sano

Publication date: 1 December 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-65840-3_9

zbMATH Keywords

intuitionistic logic dynamic epistemic logic complete axiomatization bounded morphisms relation changers

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

Situated epistemic updates

This page was built for publication: Constructive dynamic logic of relation changers

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