Complex sentence: His work has profoundly influenced the analytic tradition, with his principal contribution being a semantics for modal logic, involving possible worlds as described in a system now called Kripke semantics.
Split into simpler sentences: His work has profoundly influenced the analytic tradition. His principal contribution was a semantics for modal logic, involving possible worlds as described in Kripke semantics.