Алгоритмы дедукции для некоторых расширений интервальной логики Аллена

Рассматриваются расширяющие интервальную логику Аллена языки, предложениями которых служат булевы комбинации предложений логики Аллена, возможно, с метрической информацией. Представлены не- которые алгоритмы дедукции для этих языков. Алгоритмы основаны на методе аналитических таблиц.