Brünnler Kai

Presentations in Math-Net.Ru

1. A syntactic realization theorem for justification logics
   Kai Brünnler, Remo Goetschi, Roman Kuznets
   The eighth International сonference "Advances in Modal Logic" (AiML 2010)
   August 25, 2010 12:25