Realization Theorems for Justification Logics: Full Modularity.

Annemarie Borg, Roman Kuznets

Browse the full TABLEAUX paper archive.