Undecidability of Propositional Separation Logic and Its Neighbours.
James BrotherstonMax I. KanovichPublished in: LICS (2010)
Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- description logics
- horn clauses
- propositional logic
- classical first order logic
- proof procedure
- predicate calculus
- autoepistemic logic
- first order logic
- logic programming
- deductive reasoning
- classical logic
- propositional variables
- default logic
- modal logic
- nonmonotonic logics
- general logic programs
- strips planning
- computational properties
- coalition logic
- propositional theories
- belief revision
- truth maintenance systems
- predicate logic
- dynamic logic
- theorem proving
- modal operators
- knowledge representation
- proof theory
- pspace complete
- nonmonotonic reasoning
- model theoretic
- query containment
- relational structures
- automated reasoning