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

scientific article; zbMATH DE number 1989647

From MaRDI portal

Publication:4430394

Jump to:navigation, search

zbMath1031.03026MaRDI QIDQ4430394

Fabrice Correia

Publication date: 9 October 2003

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

zbMATH Keywords

modal logic completeness possible worlds semantics axiomatic systems Kleene matrices

Mathematics Subject Classification ID

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

Related Items (3)

The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) ⋮ Proof theory of paraconsistent weak Kleene logic ⋮ Semantical analysis of weak Kleene logics

This page was built for publication:

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