Shay Allen Logan

Identifiers

No identifiers captured yet.

Papers (3)

1. Probabilistic Epistemic Dynamic Agentive Logic cs.LO · 2026 · author #1
2. Hyperformalism for Bunched Natural Deduction Systems math.LO · 2024 · author #1
3. 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