A Hennessy-Milner Property for Many-Valued Modal Logics

TitleA Hennessy-Milner Property for Many-Valued Modal Logics
Publication TypeConference Paper
Year of Publication2014
AuthorsMarti, M, Metcalfe, G
EditorGoré, R, Kooi, B, Kurucz, A
Conference NameAdvances in Modal Logic
Pagination407-420
PublisherCollege Publications
URLhttp://www.iam.unibe.ch/ltgpub/2014/mm14.pdf