量化子を書かないだけなら
(∀x)P(x) を x→P(x)
(∃x)P(x) を x∧P(x)
とすればスコープの記述をどうするか以外だいたいよくて、
スコープの制限を外せば動的論理になるんだと思った