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 1536563 - MaRDI portal

scientific article; zbMATH DE number 1536563

From MaRDI portal

Publication:4518431

Jump to:navigation, search

zbMath0949.03504MaRDI QIDQ4518431

No author found.

Publication date: 28 November 2000

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (2)

A resolution-based proof method for temporal logics of knowledge and belief ⋮ Clausal resolution in a logic of rational agency

This page was built for publication:

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