Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Provide more/fewer operators in SMCDEL.Language #22

Open
4 of 6 tasks
m4lvin opened this issue Oct 19, 2022 · 1 comment
Open
4 of 6 tasks

Provide more/fewer operators in SMCDEL.Language #22

m4lvin opened this issue Oct 19, 2022 · 1 comment
Labels
enhancement
Milestone
1.4.0

Comments

@m4lvin
Copy link
Member

m4lvin commented Oct 19, 2022 •
edited
Loading

To be added as primitive:

  • G for global modality

To be added as abbreviations:

  • binary conjunction and disjunction (but avoid calling them con and dis as that would clash with BDD functions)
  • M for "considers possible" aka $\widehat K$

To be removed:

  • PubAnnounceW --> define as abbreviation in terms of PubAnnounce
  • Announce --> should be done using Dia ...
  • AnnounceW --> should be done using Dia ...
@m4lvin m4lvin added this to the 1.3.0 milestone Oct 30, 2022
@m4lvin m4lvin changed the title Provide more/less operators in SMCDEL.Language Provide more/fewer operators in SMCDEL.Language Dec 1, 2022
@m4lvin m4lvin modified the milestones: 1.3.0, 1.4.0 Feb 29, 2024
@m4lvin
Copy link
Member Author

m4lvin commented Nov 11, 2024

Removed the announcement operators in 225834f

Added global modality in c46d0ed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
1.4.0
Development

No branches or pull requests
1 participant
@m4lvin