# Possible Worlds Semantics and Modal Logic

Kripke's Possible Worlds Semantics, with reflectivity, transitivity and equivalence properties, is compliant with the Modal Logic axiomatic system K4.

Is this a complete and sound formal system ?

ps: i come from FOL, so i'm sorry if what i wrote is inaccurate...