报告人：琚凤魁

题目：Formal language and semantics for temporal conditionals

摘要：

Temporal conditionals are those which have temporal reference and whose truth depends on their utterance time and temporal reference. Arguably, most conditionals in daily life are temporal conditionals. In this paper we present a formal language and semantics for temporal conditionals.

The presented formal language is PCTL* plus a conditional operator. The temporal structures of the semantics are branching time trees. In the semantics, formulas are evaluated at possibilities, which consist of a timeline and an instant, relative to contexts, which are sets of prioritized default rules. One feature of the semantics is that the if-clause of conditionals change contexts. Two kinds of conditionals can be distinguished by the semantics: open and counterfactual ones.

We study the implications of the formalization and also compare it with some main references on conditionals in the literature.

This is joint work with Valentin Goranko from Stockholm University.

时间：9月29日 15:00-18:00

地点：二教413