On Modal Logics of Partial Recursive Functions

Pavel Naumov

The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends propositional…