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

Jump to:navigation, search

zbMath0643.03012MaRDI QIDQ3784045

Larisa L. Maksimova

Publication date: 1987

Full work available at URL: https://eudml.org/doc/189947

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

zbMATH Keywords

interpolation finite axiomatizability modal logic K Normal extensions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

Related Items (6)

An analog of Beth's theorem in normal extensions of the modal logic K4 ⋮ Amalgamation and interpolation in normal modal logics ⋮ Interpolation in infinitely layered extensions of provability logic ⋮ Undecidable properties of extensions of the logic of provability ⋮ Intuitionistic logic and implicit definability ⋮ Undecidable properties of extensions of provability logic. II

This page was built for publication:

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