Logical consequence in modal logic. II: Some semantic systems for \(S4\)

From MaRDI portal
Publication:2545157