8.4 Some Properties of involving the Modal System K4

We now consider how to establish for the PITL operator the axiom “4” (PITL Theorem BfImpBfBf) found in the modal systems K4 and S4.

DfDfEqvDf
DfNotEqvNotBf
DfDfNotEqvNotBfBf
BfBfEqvBf
BfImpBfBf

2024-08-03
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2024