2019年5月27日のコメントペーパーより。レジュメは様相命題論理。 コメント:非妥当性の証明で出来上がる反例モデルのイラストが有限状態オートマトンのようだった。何か関係しているのだろうか。 回答:(あやふやな記憶だけで書きますが) 有限状態オートマ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。