syntax.elf revision 239352d9aec4bc3823511873533fa812cbe259c7
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova%read "../propositional/syntax/minimal.elf".
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova%sig Necessity = {
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova %include Base %open.
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova □ : o -> o. %prefix 30 □.
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova%sig Possibility = {
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova %include Base %open.
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova ◇ : o -> o. %prefix 30 ◇.
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova %include MPL %open.
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova %include Necessity %open.
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova %include Possibility %open.