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
Tableaux and interpolation for propositional justification logics - MaRDI portal

Tableaux and interpolation for propositional justification logics

From MaRDI portal

Publication:6564678

Jump to:navigation, search

DOI10.1215/00294527-2024-0005MaRDI QIDQ6564678

Meghdad Ghari

Publication date: 1 July 2024

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

zbMATH Keywords

interpolation tableaux decidability justification logics subformula property analytic cut

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Proof theory in general (including proof-theoretic semantics) (03F03) Interpolation, preservation, definability (03C40)

This page was built for publication: Tableaux and interpolation for propositional justification logics

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