Abstract
We show that the join of two classical [respectively, regular, normal] modal logics employing distinct modal operators is a conservative extension of each of them.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
K. Segerberg, An essay in classical modal logic, Philosophical Society and Department of Philosophy, University of Uppsala, Uppsala, 1971.
R. Sikorski, Boolean Algebras, 3rd edition, Springer-Verlag, New York, 1969.
Author information
Authors and Affiliations
Additional information
This work was supported by the National Research Council of Canada and by the Polish Academy of Sciences.
Rights and permissions
About this article
Cite this article
Thomason, S.K. Independent propositional modal logics. Stud Logica 39, 143–144 (1980). https://doi.org/10.1007/BF00370317
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370317