A logical theory for strong and weak ontic necessities in branching time.

Published in: CoRR (2022)

Keyphrases

theoretical framework
theoretical basis
general theory
real time
temporal reasoning
machine learning
artificial intelligence
high level
image sequences
knowledge representation
probability theory
formal theory