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:3197805

Jump to:navigation, search

zbMath0713.03006MaRDI QIDQ3197805

Larisa L. Maksimova

Publication date: 1989

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

zbMATH Keywords

modal logic amalgamation property Grzegorczyk logic Craig interpolation property extensions of Gödel-Löb logic infinite-slice extension of K4 interpolation property for derivability K4-algebra logics of finite irreflexive n-ary trees reflexive fragments

Mathematics Subject Classification ID

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

Related Items (1)

Amalgamation and interpolation in normal modal logics

This page was built for publication:

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