サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
In theoretical computer science, the modal μ-calculus (Lμ, Lμ, sometimesjust μ-calculus, although this can have a more general meaning) is an extension of propositional modallogic (with many modalities) by adding the least fixed point operator μ and the greatest fixed point operator ν, thus a fixed-pointlogic. The (propositional, modal) μ-calculus originates with Dana Scott and Jaco de Bakker,[
様相論理（ようそうろんり、英: modallogic）または実相論理（じっそうろんり）は、いわゆる古典論理の対象でない、様相（modality）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である（様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる）。 その歴史は古くアリストテレスまで遡ることができる[1]:138が、形式的な扱いは数理論理学以降、非古典論理としてである。 様相論理では一般に、標準的な論理体系に「～は必然的である」ことを意味する必然性演算子と、「～は可能である」ことを意味する可能性演算子のふたつの演算子が追加される。 様相論理は真理論的（形而上学的、論理的）様相の文脈で語られることが最も多い。この様相においては「～は必然的である」、「～は可能である」といった言明が扱われるが、これは認識論的様相と混
1リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
