Partial Realization in Dynamic Justification Logic

TitlePartial Realization in Dynamic Justification Logic
Publication TypeConference Paper
Year of Publication2011
AuthorsBucheli, S, Kuznets, R, Studer, T
EditorBeklemishev, L, de Queiroz, R
Conference NameLogic, Language, Information and Computation, 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011, Proceedings
Pagination35-51
URLhttp://www.iam.unibe.ch/ltgpub/2011/bks11b.pdf
DOI10.1007/978-3-642-20920-8_9