0
$\begingroup$

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

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.