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...