View of S5 is a paraconsistent logic and so is first-order classical logic.

Return to Article Details S5 is a paraconsistent logic and so is first-order classical logic. Download Download PDF