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

scientific article; zbMATH DE number 1354161

From MaRDI portal

Publication:4268476

Jump to:navigation, search

zbMath0925.03143MaRDI QIDQ4268476

Ildikó Sain, Ana Pasztor

Publication date: 28 October 1999

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

Mathematics Subject Classification ID

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

Related Items (2)

Temporal logics need their clocks ⋮ On the strength of temporal proofs

This page was built for publication:

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