Substituting strict equivalents

Martens, DB

Martens, DB (reprint author), Univ Witwatersrand, Sch Social Sci, Dept Philosophy, Private Bag 3, ZA-2050 Johannesburg, South Africa.

JOURNAL OF LOGIC AND COMPUTATION, 2019; 29 (5): 753

Abstract

I discuss certain principles for substituting strictly equivalent propositions and provide alternative axiomatizations of some standard modal systems ......

Full Text Link