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

scientific article

From MaRDI portal

Publication:4004424

Jump to:navigation, search

zbMath0787.03018MaRDI QIDQ4004424

No author found.

Publication date: 23 January 1993

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

zbMATH Keywords

Programming temporal logics metalanguage nonmonotonic logics Intensional logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Logic programming (68N17) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (3)

Order-sorted model theory for temporal executable specifications ⋮ Foundations of linear-time logic programming ⋮ Semantics of temporal classes

This page was built for publication:

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