These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, …
