View of Some additional axioms for t-normal logics. Defining K45, KB4, KD45 and S5 without using modal rules

Return to Article Details Some additional axioms for t-normal logics. Defining K45, KB4, KD45 and S5 without using modal rules Download Download PDF