List of Mathematical Logic Topics - Modal Logic

Modal Logic

  • Kripke semantics
  • Sahlqvist formula
  • Interior algebra

Read more about this topic:  List Of Mathematical Logic Topics

Famous quotes containing the word logic:

    We want in every man a long logic; we cannot pardon the absence of it, but it must not be spoken. Logic is the procession or proportionate unfolding of the intuition; but its virtue is as silent method; the moment it would appear as propositions and have a separate value, it is worthless.
    Ralph Waldo Emerson (1803–1882)