A parameterized view on the complexity of dependence and independence logic

DOI10.1093/logcom/exac070OpenAlexW4309229081MaRDI QIDQ5872871

Arne Meier, Yasir Mahmood, Juha Kontinen

Publication date: 4 January 2023

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exac070

zbMATH Keywords

model checkingparameterized complexitydependence logicteam semanticsindependence logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (1)

Parameterized complexity of propositional inclusion and independence logic

This page was built for publication: A parameterized view on the complexity of dependence and independence logic