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