1. HOME
  2. Blog
  3. 2019
  4. From Turing Machines to Kripke Models

ワークショップ

2019

From Turing Machines to Kripke Models

Date & Time: 2019. 11. 28 (Thu) 16:30-18:00

Location: Hokkaido University, Faculty of Humanities and Human Scieces, room E304

Participants: 20 participants

Speaker: SANO Katsuhiko (Hokkaido University, Faculty of Humanities and Human Scieces, Associate Prof. )

Title: From Turing Machines to Kripke Models

Susumu Ohnuma, Director, Center for Experimental Research in Social Sciences
e-mail: ohnuma@lynx.let.hokudai.ac.jp