The noun computability logic is uncountable.
The plural form of computability logic is also computability logic.
Win Amazon gift cards by writing simple stories at Fictish, a new story writing game backed by WordHippo.