References
Belnap, N.D., 1982, “Display logic,” Journal of Philosophical Logic, 11, 375-417.
Heuerding, A., Seyfried, M., and Zimmermann, H., 1996, “Efficient loop-check for backward proof search in some non-classical logics,” pp. 210-225 in Tableaux 96: Proceedings of Theorem Proving with Analytic Tableaux and Related Methods, LNAI 1071, Berlin: Springer-Verlag.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Goré, R. Displaying Modal Logic, Heinrich Wansing. Journal of Logic, Language and Information 9, 269–272 (2000). https://doi.org/10.1023/A:1008359116755
Issue Date:
DOI: https://doi.org/10.1023/A:1008359116755