Related terms:
logika
tarski
frege
axiom
saul kripke
transfinite
axioms
proof theory
formal logic
axiomatic
kripke semantics
recursion theory
propositional
normal modal logic
intuitionistic logic
semantics
accessibility relation
mathematical logic
principia mathematica
artificial intelligence
logic
Wikipedia sources:
Modal logic
Saul Kripke
Logic
Willard Van Orman Quine
Mathematical logic
List of academic disciplines
Context for words:
modal
logic
|
|