Coherence and computational complexity of quantifier-free dependence logic formulas

DOI10.1007/s11225-013-9481-8zbMath1283.03065OpenAlexW1991388620MaRDI QIDQ1956380

Jarmo Kontinen

Publication date: 13 June 2013

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: http://www.illc.uva.nl/dependence/proceedings.pdf

zbMATH Keywords

complexitycomputational complexitycoherencemodel checkinglogicdependenceteamquantifier-free dependence logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (14)

Boolean dependence logic and partially-ordered connectives ⋮ A parameterized view on the complexity of dependence logic ⋮ Coherence in inquisitive first-order logic ⋮ Separation logic and logics with team semantics ⋮ Embedding causal team languages into predicate logic ⋮ COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES ⋮ Upwards closed dependencies in team semantics ⋮ Unnamed Item ⋮ Expressivity of imperfect information logics without identity ⋮ Complexity of syntactical tree fragments of independence-friendly logic ⋮ Approximation and dependence via multiteam semantics ⋮ CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES ⋮ Expressivity and Complexity of Dependence Logic ⋮ Complexity thresholds in inclusion logic

Cites Work

• Finite model theory and its applications.
• On definability in dependence logic
• Reducibility among Combinatorial Problems
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Coherence and computational complexity of quantifier-free dependence logic formulas