logics/modal/syntax.elf

	syntax.elf revision 239352d9aec4bc3823511873533fa812cbe259c7
%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.
}.