PhD Student @ RPI, Writer of Tidbits, and Linux Enthusiast
2024
Naive Encodings of Transitivity within First-Order Logic
Caching Theorem Prover Results
2023
Representing Uncertainty under the Closed World Assumption
Functional Completeness
Prenex Normal Form - Implication Exercise
2022
Intensional Logic Extends First Order
