2 papers
cs.LO2026
A Formal Framework for Noisy Runtime Verification
Shay Allen Logan, Shawn Standefer, Thomas Ferguson
We introduce the logic EDMon---an epistemic dynamic logic meant to model monitorability concepts in noisy runtime verification. Its syntax and semantics are defined and explained a…
math.LO2024
Topics, Non-Uniform Substitutions, and Variable Sharing
Shawn Standefer, Shay Allen Logan, Thomas Macaulay Ferguson
The family of relevant logics can be faceted by a hierarchy of increasingly fine-grained variable sharing properties -- requiring that in valid entailments , some atom must…