Complex sentence: In recent decades, he has worked mainly on game semantics, and on independence-friendly logic, known for its "branched quantifiers" which he believes do better justice to our intuitions about quantifiers than does conventional first-order logic.
Split into simpler sentences: In recent decades, he has worked mainly on independence-friendly logic and game_semantics. These do better justice to our intuitions about quantifiers than does conventional first-order logic.