Generalization of some properties of relations in the context of functional temporal×modal logic.
Alfredo BurriezaInman P. de GuzmánEmilio Muñoz-VelascoPublished in: Int. J. Comput. Math. (2008)
Keyphrases
- modal logic
- explanation based generalization
- temporal logic
- temporal relations
- temporal properties
- decision procedures
- inference rules
- model checking
- contextual information
- classical logic
- spatio temporal
- epistemic logic
- conditional logic
- dynamic logic
- temporal evolution
- binary relations
- desirable properties
- nonmonotonic logics
- prime implicates
- temporal data
- natural language
- logic programs
- temporal constraints
- modal operators
- domain knowledge
- temporal information