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

Sergey Babenyshev Vladimir V. Rybakov Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. 32-41 2008 CiE http://dx.doi.org/10.1007/978-3-540-69407-6_4 conf/cie/2008 db/conf/cie/cie2008.html#BabenyshevR08