1 paper
Yuri Gurevich, Andreas Blass
Primal logic arose in access control; it has a remarkably efficient (linear time) decision procedure for its entailment problem. But primal logic is a general logic of information.…