Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Kushida, H. and Okada, Mitsuhiro. 2003. “A Proof-Theoretic Study of the Correspondence of Modal Logic and Classical Logic.”The Journal of Symbolic Logic 68(4): 1403–1414.