Assertion: propositional logic | /r/HasProperty | decidable
Facets:
value: in polynomial time
type: OTHER
Source sentences:
text: Such an approach may propose a hierarchy of propositional logics that are all decidable in polynomial time, with this hierarchy being structured by the increasing computational resources required for the proofs in the various logics.