您的瀏覽器不支援JavaScript語法,網站的部份功能在JavaScript沒有啟用的狀態下無法正常使用。

Institute of Information Science, Academia Sinica

Events

Print

Press Ctrl+P to print from browser

Seminar

:::

Path models and their corresponding sequent calculi for modal logics

  • LecturerProf. Ren-June Wang (National Chung Cheng University)
    Host: Churn-Jung Liau
  • Time2024-03-22 (Fri.) 16:30 ~ 18:30
  • LocationAuditorium 107 at IIS new Building
Abstract
Compared with the standard possible world semantics, a path in a path model is a finite sequence of possible worlds in which each world, except the first, is accessible from the one it follows. So, roughly speaking, path models are a semantic framework adjusted from the standard possible world semantics such that the structure of frames is categorized by the set of paths rather than the relation between worlds. To further utilize the mechanism, truth values are then directly assigned to sequences of sequents of modal formulas, not to formulas, as normally done. Consequently, some style of Gentzen-type sequent calculi with sequences of sequents as the objects in a proof can be straightforwardly interpreted in accordance with path models. In this paper, we will demonstrate path models and their corresponding calculi of sequences of sequents for the normal modal logics extended from K by axioms D, T, 4, B, and 5, and prove the completeness theorem with respect to these models and calculi. Furthermore, for the logics extended from K by D, T and 4, we will discuss their cut-free versions of calculi.