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
Bounded game-theoretic semantics for modal mu-calculus - MaRDI portal

Bounded game-theoretic semantics for modal mu-calculus

From MaRDI portal

Publication:6287416

Jump to:navigation, search

DOI10.1016/j.ic.2022.104882arXiv1706.00753WikidataQ114014308 ScholiaQ114014308MaRDI QIDQ6287416

Raine Rönnholm, Antti Kuusisto, Lauri Hella

Publication date: 2 June 2017

Mathematics Subject Classification ID

Applications of game theory (91A80) Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Bounded game-theoretic semantics for modal mu-calculus

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