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

scientific article; zbMATH DE number 1047505

From MaRDI portal

Publication:4349282

Jump to:navigation, search

zbMath0874.03024MaRDI QIDQ4349282

Viktor Gyuris

Publication date: 5 November 1997

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

zbMATH Keywords

decidability associativity nondistributive arrow logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)

Related Items (1)

A Complete Axiomatic System for a Process-Based Spatial Logic

This page was built for publication:

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