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

Jump to:navigation, search

zbMath0535.03008MaRDI QIDQ3318750

A. Yu. Muravitskij, A. V. Kuznetsov

Publication date: 1980

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

zbMATH Keywords

survey modal logic provability logic intuitionistic propositional calculus superintuitionistic logic superintuitionistic fragment Grzegorczyk's logic modal fragment

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items (3)

Interconnection of the lattices of extensions of four logics ⋮ Amalgamation and interpolation in normal modal logics ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS

This page was built for publication:

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