Related terms:
intuitionistic logic
intuitionistic
tarski
model theory
ge w
kripke model
satisfaction relation
undecidable theories
kripke complete
decision procedures
satisfiability
nondeterministic
undecidable
decision problem
Wikipedia sources:
Decidability (logic)
Decision problem
Alfred Tarski
Presburger arithmetic
Simply typed lambda calculus
Satisfiability Modulo Theories
Satisfiability
Kripke semantics
List of terms relating to algorithms and data structures
Saul Kripke
Deterministic pushdown automaton
Polynomial hierarchy
Heyting algebra
Natural deduction
Context-free language
NC (complexity)
P (complexity)
Fuzzy logic
Petri net
Recursive language
Context for words:
decidable
|
|