Expressivity in Chain-Based Modal Logics

TitleExpressivity in Chain-Based Modal Logics
Publication TypeJournal Article
Year of PublicationSubmitted
AuthorsMarti, M, Metcalfe, G
URLhttp://www.iam.unibe.ch/ltgpub/2017/mame17.pdf