Logics of some kripke frames connected with Medvedev notion of informational types.

Valentin B. Shehtman Dmitrij P. Skvortsov

Published in: Stud Logica (1986)

Keyphrases

modal logic
inference rules
connected components
kripke models
machine learning
artificial intelligence
knowledge base
case study
video data
desirable properties
classical logic
single frame
nonmonotonic logics
conditional logic