Caleb Camrud

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 6

Top Topics

Situation Calculus

Soft Constraints

Top Venues

Arch. Math. Log.

J. Philos. Log.

Publications

Caleb Camrud, Timothy H. McNicholl
Hyperarithmetic Numerals. CiE (2024)
Caleb Camrud, Ranpal Dosanjh
Continuous Accessibility Modal Logics. J. Philos. Log. 52 (1) (2023)
Caleb Camrud
Generalized effective completeness for continuous logic. J. Log. Anal. 15 (2023)
Caleb Camrud, Isaac Goldbring, Timothy H. McNicholl
On the complexity of the theory of a computably presented metric structure. Arch. Math. Log. 62 (7-8) (2023)
J. C. Beall, Caleb Camrud
A Note on FDE "All the Way Up". Notre Dame J. Formal Log. 61 (2) (2020)
Caleb Camrud, Evan Camrud, Lee Przybylski, Eric S. Weber
Stability of the Kaczmarz Reconstruction for Stationary Sequences. CoRR (2019)