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
Algebraic semantics of some normal quantified modal systems with the Barcan formula - MaRDI portal

Algebraic semantics of some normal quantified modal systems with the Barcan formula

From MaRDI portal

Publication:583191

Jump to:navigation, search

zbMath0692.03012MaRDI QIDQ583191

Hengshan Gao, Jianan Lü

Publication date: 1989

Published in: Chinese Science Bulletin (Search for Journal in Brave)

zbMATH Keywords

modal logic algebraic semantics Barcan formula algebraic completeness theorems normal quantified modal systems

Mathematics Subject Classification ID

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

This page was built for publication: Algebraic semantics of some normal quantified modal systems with the Barcan formula

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