Parameterised Complexity of Propositional Logic in Team Semantics.
Yasir MahmoodJonni VirtemaPublished in: CoRR (2021)
Keyphrases
- propositional logic
- nonmonotonic logics
- possibilistic logic
- belief revision
- first order logic
- minimal models
- quantified boolean formulae
- valued logic
- propositional formulas
- formal semantics
- lattice theory
- computational complexity
- decision problems
- logic programming
- truth maintenance systems
- davis putnam
- belief change
- nonmonotonic reasoning
- logical framework
- propositional satisfiability
- operational semantics
- stable models
- relational databases