Shay Allen Logan
Identifiers
No identifiers captured yet.
Papers (3)
- Probabilistic Epistemic Dynamic Agentive Logic cs.LO · 2026 · author #1
- Hyperformalism for Bunched Natural Deduction Systems math.LO · 2024 · author #1
- Topics, Non-Uniform Substitutions, and Variable Sharing math.LO · 2024 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Blane Worley 1 shared papers
- Shawn Standefer 1 shared papers
- Thomas Macaulay Ferguson 1 shared papers