A general method for proving decidability of intuitionistic modal logics.

Natasha Alechina Dmitry Shkatov

Published in: J. Appl. Log. (2006)

Keyphrases

detection method
support vector machine
modal logic
special case
inference rules
search algorithm
multi agent systems
description logics
integrity constraints
decision procedures