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
ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic - MaRDI portal

ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic

From MaRDI portal

Publication:4589204

Jump to:navigation, search

DOI10.3233/FI-2016-1408zbMath1373.68365OpenAlexW2577678904MaRDI QIDQ4589204

Linh Anh Nguyen

Publication date: 9 November 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2016-1408

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45)

Related Items (1)

ExpTime tableaux with global caching for hybrid PDL

This page was built for publication: ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic

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