|
gptkbp:instanceOf
|
gptkb:logic
formal semantics
|
|
gptkbp:alsoKnownAs
|
gptkb:first-order_predicate_calculus
predicate logic
|
|
gptkbp:developedBy
|
late 19th century
|
|
gptkbp:fileExtension
|
gptkb:second-order_logic
higher-order logic
|
|
gptkbp:generalizes
|
gptkb:logic
|
|
gptkbp:hasApplication
|
gptkb:artificial_intelligence
gptkb:knowledge_representation
automated theorem proving
formal verification
database theory
|
|
gptkbp:hasComponent
|
logical connectives
quantifiers
variables
constants
functions
predicates
|
|
gptkbp:hasDecidability
|
undecidable in general
|
|
gptkbp:hasFragment
|
gptkb:monadic_first-order_logic
guarded fragment
prenex normal form
|
|
gptkbp:hasNormalForm
|
gptkb:conjunctive_normal_form
gptkb:disjunctive_normal_form
gptkb:Skolem_normal_form
prenex normal form
|
|
gptkbp:hasProperty
|
gptkb:Löwenheim–Skolem_theorem
gptkb:soundness_theorem
completeness theorem
compactness theorem
|
|
gptkbp:hasQuantifiers
|
existential quantifier
universal quantifier
|
|
gptkbp:hasSemantics
|
gptkb:model
interpretations
|
|
gptkbp:hasSyntax
|
well-formed formulas
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
first-order logic
|
|
gptkbp:inventedBy
|
gptkb:Gottlob_Frege
|
|
gptkbp:isFoundationFor
|
gptkb:logic
model theory
proof theory
|
|
gptkbp:limitation
|
cannot express some properties of infinite structures
|
|
gptkbp:studies
|
logical inference
properties of predicates
relations between objects
|
|
gptkbp:usedIn
|
gptkb:mathematics
gptkb:philosophy
computer science
|
|
gptkbp:bfsParent
|
gptkb:logic
|
|
gptkbp:bfsLayer
|
4
|