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

scientific article; zbMATH DE number 2149470

From MaRDI portal

Publication:4661994

Jump to:navigation, search

zbMath1077.03008MaRDI QIDQ4661994

Giovanna Corsi

Publication date: 30 March 2005

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

zbMATH Keywords

Kripke semantics first-order modal logic Barcan formula counterpart semantics Lewis semantics.

Mathematics Subject Classification ID

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

Related Items (3)

Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ Counterpart theories for everyone ⋮ Counterpart semantics at work: independence and incompleteness results in quantified modal logic

This page was built for publication:

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