A functional approach for temporal × modal logics.

Alfredo Burrieza Inman P. de Guzmán

Published in: Acta Informatica (2003)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
epistemic logic
nonmonotonic logics
temporal constraints
spatio temporal
temporal information
spatial and temporal
temporal reasoning
temporal data
default logic
temporal patterns
classical logic
special case
situation calculus