Affiliation:
1. Department of Philosophy, School of Social Sciences, University of the Witwatersrand, Johannesburg, WITS, South Africa
Abstract
Abstract
I discuss certain principles for substituting strictly equivalent propositions and provide alternative axiomatizations of some standard modal systems and proofs of containment relations among some systems that have the principles, including partial proof of Steffen Lewitzka’s ‘conjecture’ that ‘S1+$\Box $SP is strictly contained between S1+SP and S3’ (2016, J. Logic Comput., 26, 1780).
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献