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

scientific article

From MaRDI portal

Publication:3007238

Jump to:navigation, search

zbMath1279.03039MaRDI QIDQ3007238

Sergej N. Artemov

Publication date: 21 June 2011

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

zbMATH Keywords

knowledge epistemic logic justification labelled deductive systems existential realizability semantics justified true belief provability interpretation of S4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (3)

Lower complexity bounds in justification logic ⋮ A complexity question in justification logic ⋮ Practical extraction of evidence terms from common-knowledge reasoning

This page was built for publication:

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