Temporal Justification Logic

TitleTemporal Justification Logic
Publication TypeConference Paper
Year of Publication2017
AuthorsBucheli, S, Ghari, M, Studer, T
EditorGhosh, S, Ramanujam, R
Conference NameProceedings of the Ninth Workshop on Methods for Modalities, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017
Pagination59-74
PublisherOpen Publishing Association
URLhttp://www.iam.unibe.ch/ltgpub/2017/bgs17.pdf