Kai Wehmeier: Truth in Modal Language
When: | Th 05-11-2015 15:15 - 17:00 |
Where: | Gamma |
Grolog lecture by Kai Wehmeier (UC Irvine)
Modal operator languages are, in a precise sense, mere notational variants of certain first-order languages. Nevertheless, the universally accepted definition of truth in a model for such operator languages differs significantly from the universally accepted definition of truth in a model for first-order languages. I will explore...(continue reading...)