Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL.

Sergey Babenyshev, Vladimir V. Rybakov

Browse the full CiE paper archive.