Semantics with Function Symbols
Fabrizio Riguzzi · River Publishers eBooks · 2023
When a program contains variables, function symbols, and at least one constant, its grounding is denumerable. In this case, the set of atomic choices in a selection that defines a world is denumerable and there is an uncountable set of worlds.