Indexed Flows in Temporal x Modal Logic with Functional Semantics.
Alfredo BurriezaInman P. de GuzmánEmilio Muñoz-VelascoPublished in: TIME (2002)
Keyphrases
- modal logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- modal operators
- kripke models
- dynamic logic
- temporal logic
- decision procedures
- autoepistemic logic
- inference rules
- default logic
- description logic alc
- temporal relations
- spatio temporal
- temporal dimension
- temporal information
- model theoretic
- classical logic
- spatial and temporal
- default reasoning
- situation calculus
- temporal constraints
- default theories
- temporal data
- prime implicates
- formal semantics
- nonmonotonic reasoning
- natural language
- model checking
- sequent calculus
- explanation based generalization
- data model