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