syntax.elf revision c6506aa7090643badb5a6dca5df0ca6617558f5e
%read "../propositional/syntax/minimal.elf".
%sig Necessity = {
%include Base %open.
□ : o -> o. %prefix 30 □.
}.
%sig Possibility = {
%include Base %open.
◇ : o -> o. %prefix 30 ◇.
}.
%sig ML = {
%include MPL %open.
%include Necessity %open.
%include Possibility %open.
}.