researchers with a paper here

1 paper

cs.LO2004

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…