Maraming ekstensiyon ng lohika ay dinisenyo upang humawak ng mga spesipikong sinasakupang ng kaalaman gaya ng : lohikong paglalarawan ; sitwasyong kalkulo , kalkulo ng pangyayari , kalkulo na fluent ( para sa pagkakatawan ng mga kaganapan at oras ) ; kalkulong pananahilan ; paniniwalang kalkulo ; at modal na lohika.
