Reduction of Modal Logic and Realization in Justification Logic - researchr publication

researchr

You are not signed in
Sign in
Sign up

Hirohiko Kushida. Reduction of Modal Logic and Realization in Justification Logic. In Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu, editors, 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020. pages 405-424, College Publications, 2020.

Abstract is missing.

runs on WebDSL