Access-Limited Logic for Knowledge Representation (Algernon)
