Skip to ContentSkip to Navigation
Over onsFaculteit WijsbegeerteNieuwsAgenda

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...)