Arithmetical Completeness Theorem for Modal Logic $$\mathsf{K}$$ K
Kurahashi, TaishiLanguage:
english
Journal:
Studia Logica
DOI:
10.1007/s11225-017-9735-y
Date:
June, 2017
File:
PDF, 542 KB
english, 2017