chateau_d_if.jpeg

Semantics for “Enough-Certainty” and Fitting’s Embedding of Classical Logic in S4

  • Gergei Bana
  • Mitsuhiro Okada

Schedule

  • Sept. 1, 2016, 10:30 - 12:30(Modal logic session)

Attachments