Temporal Aspects of the Modal Logic of Subset Spaces.

Bernhard Heinemann

Published in: Theor. Comput. Sci. (1999)

Keyphrases

modal logic
temporal aspects
temporal logic
temporal information
temporal constraints
epistemic logic
default logic
nonmonotonic logics
natural language
multimedia presentations
conditional logic
situation calculus
database
medical records
temporal reasoning
prime implicates
kripke models