Relational dual tableaux for interval temporal logics.
Davide BresolinJoanna Golinska-PilarekEwa OrlowskaPublished in: J. Appl. Non Class. Logics (2006)
Keyphrases
- spatial resolution
- temporal logic
- modal logic
- temporal resolution
- model checking
- decision procedures
- mazurkiewicz traces
- satisfiability problem
- inference rules
- relational databases
- concurrent systems
- data model
- belief revision
- situation calculus
- predicate logic
- temporal knowledge
- epistemic logic
- verification method
- linear temporal logic
- computation tree logic
- default logic
- formal specification
- functional dependencies
- knowledge representation
- artificial intelligence