Brandon Rozek

Photo of Brandon Rozek

PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.

Here you'll find 4 posts about Logic .

September, 2023

Representing Uncertainty under the Closed World Assumption

May, 2023

Functional Completeness

February, 2023

Prenex Normal Form - Implication Exercise

February, 2022

Intensional Logic Extends First Order