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
Basis of globally admissible rules for logic S4 - MaRDI portal

Basis of globally admissible rules for logic S4

From MaRDI portal

Publication:6663881

Jump to:navigation, search

DOI10.26516/1997-7670.2024.50.152MaRDI QIDQ6663881

Vitaliĭ Valentinovich Rimatskiĭ

Publication date: 15 January 2025

Published in: Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika (Search for Journal in Brave)

zbMATH Keywords

modal logic frame and model Kripke admissible and globally admissible inference rule

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Relative consistency and interpretations (03F25)

This page was built for publication: Basis of globally admissible rules for logic S4

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