2023.05.01
https://gyazo.com/7a96d2fb88e741bf50fad9409c73ae4a
思った
様相論理は述語論理のフラグメントであるが故に述語論理にはない良い性質（計算可能性）とかを得ている，という観点からするとわざわざ命題様相論理と（命題）をprefixに付ける必要はないのではないかと思うが，どうなんだろう？ 普通の量化子（$ \forall,\exists）が論理式に出現する様相論理ってあるのか？
やった
killportというポート番号を指定するとそのポートを専有しているプロセスを殺すプログラムがある メモ
Decidable(決定可能)
pの証明が与えられたときpは決定可能である．
¬pの証明が与えられたとき¬pは決定可能である．
DecidableEq（決定可能同値?）
α型が決定可能同値であるとは，任意のα型のa,bに対して命題a = bが決定可能であることである．?
メモ