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

scientific article; zbMATH DE number 7585721

From MaRDI portal

Publication:5104713

Jump to:navigation, search

MaRDI QIDQ5104713

Wesley H. Holliday

Publication date: 15 September 2022

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

zbMATH Keywords

nucleus algebraic semantics Heyting algebra Kripke semantics intuitionistic logic inquisitive logic lax logic Beth semantics

Mathematics Subject Classification ID

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

Related Items (3)

Inquisitive logic as an epistemic logic of knowing how ⋮ Structural completeness and superintuitionistic inquisitive logics ⋮ Lattices of Intermediate Theories via Ruitenburg's Theorem

This page was built for publication:

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