Subset Models for Justification Logic.

Eveline Lehmann, Thomas Studer

Browse the full WoLLIC paper archive.