This is a type of logic that models strategic interactions, where players have incomplete information about the situation.