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

Polyteam semantics

From MaRDI portal

Publication:1709702

Jump to:navigation, search

DOI10.1007/978-3-319-72056-2_12zbMath1505.03070arXiv1704.02158OpenAlexW4251248223MaRDI QIDQ1709702

Jonni Virtema, Miika Hannula, Juha Kontinen

Publication date: 6 April 2018

Full work available at URL: https://arxiv.org/abs/1704.02158

zbMATH Keywords

expressive power team semantics dependency theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (2)

Parameterised complexity of model checking and satisfiability in propositional dependence logic ⋮ Complexity thresholds in inclusion logic

This page was built for publication: Polyteam semantics

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