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

Аннотация

We present and discuss the fa ct that the well-known m odal logic S5 and classical first-order logic are paraconsistent logics.