User:PW246

Interested in logic, specifically modal logics and something I’ve been working on for myself.