Sendai Logic Seminar

場所 : 理学研究科合同A棟 (H-02) 12階 1201室 [ 地図]

直近のセミナー

日時 2018.10.12 (金) / 16:00 - 17:00
発表者 中林 美郷 氏 (東北大学大学院 理学研究科)
題目 On one-variable modal μ-calculus
概要

Modal μ-calculus is an extension of modal propositional logic by adding a greatest fixpoint operator μ and a least fixpoint operator ν.

              

In this talk, we first show the relationship between one-variable modal μ-calculus and weak alternating tree automata. Next, we consider infinitely branching transition systems.

2018年のセミナー

過去のセミナー