Changes between Version 5 and Version 6 of CurrentlyProposedLanguage


Ignore:
Timestamp:
Nov 4, 2010 4:21:20 PM (13 years ago)
Author:
sunshine
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • CurrentlyProposedLanguage

    v5 v6  
    1919||Not     || not      ||
    2020
    21 For events in the timeline of events, using ''and'' or ''or'' operators denotes that any ordering between these events is possible.
     21For events in the timeline of events, using '''and''' or '''or''' operators denotes that any ordering between these events is possible.
    2222
    2323= Arithmetic operators =
    … …  
    3434= Existential, cardinality and modal operators =
    3535We want to be able to denote how many objects or events of a given type must/may occur.
    36 ||''Meaning''                        || ''Operator and example'' ||
     36||'''Meaning'''                      || '''Operator and example''' ||
    3737||Every object A                     || each A               ||
    3838||Some objects A                     || some A               ||