Nondeterministic algorithm
Computer science
Concurrency
Extension (predicate logic)
Predicate (mathematical logic)
Programming language
Determinacy
Semantics (computer science)
Property (philosophy)
Event (particle physics)
Theoretical computer science
Game semantics
Combinatorial game theory
Turns, rounds and time-keeping systems in games
Game theory
Game mechanics
Operational semantics
Human–computer interaction
Mathematical economics
Mathematics
Sequential game
Video game design
Mathematical analysis
Philosophy
Physics
Denotational semantics
Epistemology
Quantum mechanics
