Probabilistic Justification Logic

TitleProbabilistic Justification Logic
Publication TypeConference Paper
Year of Publication2016
AuthorsKokkinis, I, Ognjanović, Z, Studer, T
EditorArtemov, S, Nerode, A
Conference NameSymposium on Logical Foundations in Computer Science 2016
PublisherSpringer
URLhttp://www.iam.unibe.ch/ltgpub/2016/kos16.pdf
DOI10.7892/boris.79976