Modal system S4.4.

Boleslaw Sobocinski

Published in: Notre Dame J. Formal Log. (1964)

Keyphrases

modal logic
nonmonotonic logics
machine learning
case study
artificial intelligence
decision making
database systems
image sequences
reinforcement learning
temporal logic