A parameterized view on the complexity of dependence and independence logic

DOI10.1093/LOGCOM/EXAC070OpenAlexW4309229081MaRDI QIDQ5872871FDOQ5872871

Authors: Juha Kontinen, Arne Meier, Yasir Mahmood 

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

Recommendations

• A parameterized view on the complexity of dependence logic
• Parameterised complexity of model checking and satisfiability in propositional dependence logic
• Parameterised complexity of model checking and satisfiability in propositional dependence logic
• Tractability frontier of data complexity in team semantics
• Tractability Frontier of Data Complexity in Team Semantics

zbMATH Keywords

team semanticsmodel checkingparameterized complexitydependence logicindependence logic

Mathematics Subject Classification ID

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

Cited In (7)

• Expressivity and Complexity of Dependence Logic
• Parameterised complexity of model checking and satisfiability in propositional dependence logic
• Computer Science Logic
• A parameterized view on the complexity of dependence logic
• Parameterized complexity of weighted team definability
• Parameterized complexity of propositional inclusion and independence logic
• A fragment of dependence logic capturing polynomial time

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5872871)