Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
formal semantics
fragment of first-order logic |
| gptkbp:decidability |
decidable
|
| gptkbp:expressivePower |
less than full first-order logic
|
| gptkbp:hasBinaryRelations |
no
|
| gptkbp:hasConstants |
can include
|
| gptkbp:hasEquality |
can include
|
| gptkbp:hasFunctionSymbols |
no
|
| gptkbp:hasHigherArityRelations |
no
|
| gptkbp:hasPredicateArity |
one
|
| gptkbp:hasQuantifiers |
yes
|
| gptkbp:hasRelationSymbols |
monadic
|
| gptkbp:hasSubgroup |
gptkb:first-order_logic
|
| gptkbp:hasTernaryRelations |
no
|
| gptkbp:hasVariables |
yes
|
| https://www.w3.org/2000/01/rdf-schema#label |
monadic first-order logic
|
| gptkbp:studiedBy |
gptkb:Thoralf_Skolem
gptkb:Leopold_Löwenheim |
| gptkbp:usedIn |
gptkb:logic
model theory |
| gptkbp:bfsParent |
gptkb:first-order_logic
|
| gptkbp:bfsLayer |
5
|