|
gptkb:axiom_schema_of_separation
|
subset formation based on properties
|
|
gptkb:Public_announcement_logic
|
effects of public communication on knowledge
|
|
gptkb:Von_Neumann–Bernays–Gödel_Set_Theory
|
set-class distinction
|
|
gptkb:Peano_arithmetic
|
addition
|
|
gptkb:Epistemic_Logic
|
Statements about knowledge
|
|
gptkb:System_F
|
gptkb:second-order_logic
|
|
gptkb:Subsystems_of_Second_Order_Arithmetic
|
gptkb:second_order_arithmetic
|
|
gptkb:System_F_c
|
bounded quantification
|
|
gptkb:Landau's_Grundlagen_der_Analysis_formalization
|
basic arithmetic
|
|
gptkb:Landau's_Grundlagen_der_Analysis_formalization
|
real numbers
|
|
gptkb:Big_O_notation
|
asymptotic upper bound
|
|
gptkb:Peano_arithmetic
|
multiplication
|
|
gptkb:Axiom_of_Infinity
|
the existence of the set of natural numbers
|
|
gptkb:Landau's_Grundlagen_der_Analysis_formalization
|
natural numbers
|
|
gptkb:Turing_machine_(with_unbounded_size)
|
notion of computation
|
|
gptkb:Dynamic_logic
|
actions and their effects
|
|
gptkb:autoepistemic_logic
|
self-reflective reasoning
|
|
gptkb:second-order_arithmetic
|
set theory for countable sets
|
|
gptkb:generalized_quantifier_theory
|
quantifier meanings
|
|
gptkb:Doxastic_Logic
|
Belief operators
|