On modal components of the S4-logics.

Alexei Y. Muravitsky

Published in: TACL (2013)

Keyphrases

modal logic
nonmonotonic logics
expressive power
inference rules
computer vision
information systems
building blocks
e learning
knowledge base
multi agent systems
description logics
propositional logic