2 papers
cs.LO2026
Hyperformalism for Relevant Modal Logics
Thomas Macaulay Ferguson, Shay Allen Logan
The property of hyperformalism has proven to be a powerful tool in the analysis of relevant logics, revealing that increasingly weak relevant logics are closed under increasingly s…
cs.LO2026
Probabilistic Epistemic Dynamic Agentive Logic
Shay Allen Logan
I introduce PEDAL -- a probabilistic epistemic logic meant to capture, in propositional dynamic terms, the epistemic state of an agent engaged in checking whether a program meets i…