Weber, Volker Branching-time logics repeatedly referring to states. (English) Zbl 1193.03034 J. Logic Lang. Inf. 18, No. 4, 593-624 (2009). MSC: 03B44 03B62 68Q17 68Q45 68Q60 PDFBibTeX XMLCite \textit{V. Weber}, J. Logic Lang. Inf. 18, No. 4, 593--624 (2009; Zbl 1193.03034) Full Text: DOI
Mundhenk, Martin; Schneider, Thomas The complexity of hybrid logics over equivalence relations. (English) Zbl 1193.03054 J. Logic Lang. Inf. 18, No. 4, 493-514 (2009). MSC: 03B62 68Q25 68Q60 PDFBibTeX XMLCite \textit{M. Mundhenk} and \textit{T. Schneider}, J. Logic Lang. Inf. 18, No. 4, 493--514 (2009; Zbl 1193.03054) Full Text: DOI