Partial Realization in Dynamic Justification Logic.

Samuel Bucheli, Roman Kuznets, Thomas Studer

Browse the full WoLLIC paper archive.