Changes between Version 2 and Version 3 of CurrentlyProposedLanguage

Timestamp:

Nov 4, 2010 4:11:08 PM (14 years ago)

Author:

sunshine

Comment:

--

CurrentlyProposedLanguage

@@ -28 +28 @@
 ||Meaning                          || Operator and example ||
 ||A occurs after B                 || B -> A               ||
-||A and B occur concurrently       || A | | B               ||            
+||A and B occur concurrently       || A | | B              ||            
 ||A lasts T time                   || A,,T,,               ||
 ||A occurs T time after B          || B ->,,T,, A          ||
+
+= Existential, cardinality and modal operators =
+We want to be able to denote how many objects or events of a given type must/may occur.
+Meaning Operator and example
+||Every object A                     || each A     ||
+||Some objects A                     || some A     ||
+||Some object A called a1            || some A a1  ||
+||A must occur                       || A          ||
+||A may occur                        || [A]        ||
+||Exactly N objects/events of type A || |A|,,N,,   ||
+||At least N objects/events of type A|| |A|,,>=N,, ||
+||At most N objects/events of type A || |A|,,<=N,, ||