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

scientific article; zbMATH DE number 3619857

From MaRDI portal

Publication:4182477

Jump to:navigation, search

zbMath0399.03014MaRDI QIDQ4182477

James W. Garson

Publication date: 1978

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

zbMATH Keywords

Semantics Completeness Tense Logic Possible World Philosophically Quantified Modal Logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (1)

A complete logic for reasoning about programs via nonstandard model theory. II

This page was built for publication:

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