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

scientific article; zbMATH DE number 4197983

From MaRDI portal

Publication:5203005

Jump to:navigation, search

zbMath0726.03040MaRDI QIDQ5203005

Sergej N. Artemov

Publication date: 1988

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

zbMATH Keywords

modal logic modality provability logic binumerations formal provability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Gödel numberings and issues of incompleteness (03F40)

Related Items (1)

Irreflexive modality in the intuitionistic propositional logic and Novikov completeness

This page was built for publication:

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