~/Logic

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