Sign in
A Temporal Relevant Logic Approach to Modeling and Reasoning about Epistemic Processes.
Jingde Cheng
Published in:
SKG (2009)
Keyphrases
</>
temporal aspects
modal operators
formal theory
temporal information
epistemic logic
closely related
spatio temporal
logic programming
modal logic
temporal reasoning
temporal evolution
temporal dimension
predicate logic
linear temporal logic
classical logic
modeling method
temporal databases
spatial and temporal