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
What Are Justification Logics? - MaRDI portal

What Are Justification Logics?

From MaRDI portal

Publication:5377318

Jump to:navigation, search

DOI10.3233/FI-2019-1782zbMath1444.03029MaRDI QIDQ5377318

Melvin Fitting

Publication date: 24 May 2019

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

modal logic intuitionistic logic realization logic of proofs justification logic BHK semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

This page was built for publication: What Are Justification Logics?

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