Logic

Research Frontiers in Independence-Friendly Logic and Imperfect Information

Study of logics where quantifiers may be independent, modeling games with imperfect information and partial visibility.

All Logic PhD categories