A preliminary excursion into step-logics
Jennifer Elgot -Drapkin, Donald R. Perlis · 1986
We have suggested that a new kind of logical study that focuses on individual deductive steps is appropriate to agents that must do commonsense reasoning. In order to adequately study such reasoners, a formal description of such “steps” is necessary. Here we carry further this program for the propositional case. In particular we give a result on completeness for reasoning about agents.