Algorithmic Aspects of Propositional Tense Logics.
Alexander V. ChagrovValentin B. ShehtmanPublished in: CSL (1994)
Keyphrases
- algorithmic aspects
- propositional logic
- default logic
- classical first order logic
- coalition logic
- propositional variables
- first order logic
- expressive power
- linearly ordered
- modal logic
- nonmonotonic logics
- autoepistemic logic
- logic programming
- horn logic
- inference rules
- dynamic logic
- classical logic
- temporal relations
- conditional logic
- propositional calculus
- strips planning
- default reasoning
- horn clauses
- satisfiability testing
- probabilistic logic
- multi valued
- default theories
- sound and complete axiomatization
- boolean games
- proof theory
- epistemic logic
- knowledge base
- inductive logic programming
- relational data
- logic programs
- query language