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
Validity and entailment in modal and propositional dependence logics - MaRDI portal

Validity and entailment in modal and propositional dependence logics

From MaRDI portal

Publication:5111196

Jump to:navigation, search

DOI10.4230/LIPIcs.CSL.2017.28zbMath1434.03077OpenAlexW2964173375MaRDI QIDQ5111196

Miika Hannula

Publication date: 26 May 2020

Full work available at URL: https://doi.org/10.23638/LMCS-15(2:4)2019

zbMATH Keywords

complexity modal logic propositional logic validity entailment dependence logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items (2)

Axiomatizations of team logics ⋮ Canonical Models and the Complexity of Modal Team Logic

This page was built for publication: Validity and entailment in modal and propositional dependence logics

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