Skip to content

A Syntactic Realization Theorem for Justification Logics.

Kai Brnnler, Remo Goetschi, Roman Kuznets

VenueBAiML
Year2010
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.