formalizes

26 triples
GPTKB property

Random triples
Subject Object
gptkb:Turing_machine_(with_unbounded_size) notion of computation
gptkb:generalized_quantifier_theory quantifier meanings
gptkb:Doxastic_Logic Belief operators
gptkb:Axiom_of_Infinity the existence of the set of natural numbers
gptkb:arithmetical_comprehension_axiom comprehension schema for arithmetical formulas
gptkb:Epistemic_Logic Statements about belief
gptkb:autoepistemic_logic self-reflective reasoning
gptkb:System_F_c second-order lambda calculus with subtyping
gptkb:System_F gptkb:second-order_logic
gptkb:Landau's_Grundlagen_der_Analysis_formalization basic arithmetic
gptkb:Dynamic_logic actions and their effects
gptkb:second-order_arithmetic set theory for countable sets
gptkb:Peano_arithmetic addition
gptkb:Alethic_Logic alethic modalities
gptkb:System_F_c bounded quantification
gptkb:PAC_learning Feasibility of learning
gptkb:second-order_arithmetic analysis
gptkb:Public_announcement_logic effects of public communication on knowledge
gptkb:Von_Neumann–Bernays–Gödel_Set_Theory set-class distinction
gptkb:Big_O_notation asymptotic upper bound