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
scientific article; zbMATH DE number 2066186 - MaRDI portal

scientific article; zbMATH DE number 2066186

From MaRDI portal

Publication:4462629

Jump to:navigation, search

zbMath1052.03008MaRDI QIDQ4462629

Philippe Balbiani

Publication date: 18 May 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

propositional modal logic propositional dynamic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (3)

Dynamic extensions of arrow logic ⋮ Unnamed Item ⋮ Axiomatization and computability of a variant of iteration-free PDL with fork

This page was built for publication:

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