Brandon Rozek

Photo of Brandon Rozek

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

Here you'll find 5 posts about Logic .

March, 2024

Caching Theorem Prover Results

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