# Logical

> statements, predicates, proofs

Record: `reason:representation-logical`
Kind: representation
Canonical: https://banes-lab.com/ontology/reasoning#reason-representation-logical