Free Logic

Wolna logika jest logiką z mniejszymi egzystencjalnymi założeniami niż logika klasyczna. Wolna logika może zezwolić na warunkach, które nie oznaczają żadnego obiektu. Wolna logika może również pozwolić modele, które mają pustą domenę.Wolny logika z tym ostatnim nieruchomości włącznie logika.