Skip to content

Reduction of Modal Logic and Realization in Justification Logic.

Hirohiko Kushida

VenueBAiML
Year2020
ProceedingsAiML

Browse the full AiML paper archive.