加载中…
We show that the standard G"odel modal logics, as initially introduced by Caicedo and Rodriguez in \cite{CR2009,CR2010}, are not realized by the basic G"odel justification logics although being related by the forgetful projection.

生成讲解博客的中文版本

生成AI智能校验的中文版本