「様相論理とは、たとえば「真の可能性がある」「将来にわたってずっと偽」「それが真であることを花子は知っている」のように、単に真か偽かだけでなく状況に依存した真偽や複雑化された真偽概念を表現できる論理で

arajin のブックマーク 2022/01/18 15:35

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4714164648218735138/comment/arajin" data-user-id="arajin" data-entry-url="https://b.hatena.ne.jp/entry/s/note.com/morikita/n/n7757f031038c" data-original-href="https://note.com/morikita/n/n7757f031038c" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fnote.com%2Fmorikita%2Fn%2Fn7757f031038c" data-user-icon="/users/arajin/profile.png">数学的基礎を徹底解説！ ――近刊『コンピュータサイエンスにおける様相論理』まえがき公開｜森北出版</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF">コンピュータ</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E3%82%B5%E3%82%A4%E3%82%A8%E3%83%B3%E3%82%B9">サイエンス</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E3%83%AC%E3%83%93%E3%83%A5%E3%83%BC">レビュー</a>]</li></ul><br><p style="clear: left">「様相論理とは、たとえば「真の可能性がある」「将来にわたってずっと偽」「それが真であることを花子は知っている」のように、単に真か偽かだけでなく状況に依存した真偽や複雑化された真偽概念を表現できる論理で</p><a class="datetime" href="https://b.hatena.ne.jp/arajin/20220118#bookmark-4714164648218735138"><span class="datetime-body">2022/01/18 15:35</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！