Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities.

Max I. Kanovich Stepan L. Kuznetsov Andre Scedrov

Published in: FCT (2017)

Keyphrases

temporal reasoning
description logics
real time
probabilistic planning
number restrictions
expert systems
cross modal
formal language
multiple modalities
database
information retrieval
special case
probability distribution
provably correct
computer algebra