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
Inquisitive bisimulation - MaRDI portal

Inquisitive bisimulation

From MaRDI portal

Publication:6298839

Jump to:navigation, search

DOI10.1017/jsl.2020.77zbMath1529.03144arXiv1803.03483MaRDI QIDQ6298839

Martin Otto, Ivano A. Ciardelli

Publication date: 9 March 2018

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13)

This page was built for publication: Inquisitive bisimulation

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