Faculti: Modality, mathematics, and logic