On Expressiveness of Halpern-Shoham Logic and its Horn Fragments.
Przemyslaw Andrzej WalegaPublished in: TIME (2017)
Keyphrases
- temporal logic
- modal logic
- computational properties
- modal operators
- formal theory
- horn logic
- predicate logic
- model checking
- np hard
- expressive power
- belief update
- propositional logic
- logic programming
- horn clauses
- classical logic
- nonmonotonic logics
- asynchronous circuits
- logic programs
- inference rules
- reasoning about actions
- special case
- multi valued
- cooperative
- causal models
- knowledge base
- multi agent