Modal mantiq is a branch of mathematical logic that defines and analyzes three basic modal operators - probability, necessity, and possibility through axioms and inference rules.