On the Complexity of Team Logic and Its Two-Variable Fragment.

Published in: MFCS (2018)

Keyphrases

multi valued
computational complexity
computational cost
worst case
logic programming
decision problems
space complexity
relational databases
software development
modal logic
automated reasoning
digital circuits
epistemic logic