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
The Influence of the Test Operator on the Expressive Power of PDL-like Logics - MaRDI portal

The Influence of the Test Operator on the Expressive Power of PDL-like Logics

From MaRDI portal

Publication:5216338

Jump to:navigation, search

DOI10.1093/LOGCOM/EXZ020zbMath1446.68148OpenAlexW3002500667WikidataQ127491603 ScholiaQ127491603MaRDI QIDQ5216338

Linh Anh Nguyen

Publication date: 17 February 2020

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exz020

zbMATH Keywords

modal logic description logic expressive power test operator PDL

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

This page was built for publication: The Influence of the Test Operator on the Expressive Power of PDL-like Logics

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