Search
❯
Nov 22, 20251 min read
A extension of First Order Logic that allows quantifiers over Relation