2 papers
cs.CC2021
Machines as Programs: P NP
Jonathan J. Mize
The Curry-Howard correspondence is often called the proofs-as-programs result. I offer a generalization of this result, something which may be called machines as programs. Utilizin…
math.LO2020
A Novel Semantics for Belief, Knowledge and Psychological Alethic Modality
Jonathan J. Mize
Recently there have been numerous proposed solutions to the problem of logical omniscience in doxastic and epistemic logic. Though these solutions display an impressive breadth of…