Expressivity Floor

A minimal baseline of expressive capability that a logical fragment or logic must possess to capture a specified class of phenomena or properties; the least set of syntactic constructs and semantic guarantees required for adequacy with respect to a target specification.