Partial realization in dynamic justification logic

by Samuel Bucheli , Roman Kuznets , Thomas Studer
Venue:Logic, Language, Information and Computation, 18th International Workshop, WoLLIC 2011
Citations:5 - 4 self