On the Complexity of Modal Team Logic and Two-Variable Team Logic.
Martin LückPublished in: CoRR (2017)
Keyphrases
- modal logic
- nonmonotonic logics
- team members
- classical logic
- logic programming
- information systems
- predicate logic
- logical framework
- computational properties
- asynchronous circuits
- expressive power
- automated reasoning
- multi valued
- computational cost
- computational complexity
- data sets
- formal theory
- abductive reasoning
- dynamic logic
- robotic soccer
- proof theory
- cooperating agents
- transition systems