References
Bull R. and Segerberg K. Basic modal logic. Handbook of Philosophical Logic (ed. by D. Gabbay and F. Guenthner), Reidel, 1984.
Goranko, V. Proving unprovability in some normal modal logics.Bulletin of the Section of Logic 20 (1991), 23–29.
Goranko, V. Refutation systems in modal logic,Studia Logica 53 (1994), 299–324.
Łukasiewicz, J. Aristotle's Syllogistic from the Standpoint of Modern Formal Logic. Oxford, 1951.
Makinson, D.Aspectos de la Lógica Modal. Universidad Nacional del Sur, Bahia Bianca, 1971.
Rasiowa H. and Sikorski R.The Mathematics of Metamathematics. Warszawa, 1963.
Skura, T. Refutation calculi for certain intermediate propositional logics.Notre Dame Journal of Formal Logic 33 (1992), 552–560.
Author information
Authors and Affiliations
Additional information
This research was partly supported by the Alexander-von-Humboldt Foundation in Bonn. I also thank André Fuhrmann who created excellent working conditions for me during my stay in Konstanz in 1993.
Rights and permissions
About this article
Cite this article
Skura, T. A Łukasiewicz-style refutation system for the modal logic S4. J Philos Logic 24, 573–582 (1995). https://doi.org/10.1007/BF01306967
Issue Date:
DOI: https://doi.org/10.1007/BF01306967