Opisna logika
Nemonotonska logika
Podrazumevana logika
Filozofska logika
Kvantifikator (logika)
Расплинута логика
Pravilo zaključivanja
Мердевинска логика
Rezolucija (logika)
Логика
Абдуктивна логика програмирања
Неформална логика
Модална логика
Транзистор-транзистор логика
Argument (logika)
Комбинациона логика
Одлучивост
Суд (логика)
Математичка логика
Апсорпција (логика)
Opseg (logika)
Нетачно (логика)
Индукција (логика)
DTL
Логика првог реда
RTL
Квака 22 (логика)
Програмабилна логика поља
Logički operator
Problem okvira
Исказ (логика)
Литерал (математичка логика)
Прилагођене апликације за побољшане логике мобилне мреже
Falsifikabilnost
Ваљаност (логика)
Таутологија (логика)
Abduktivno rezonovanje
ECL
Unifikacija (informatika)