Plainly, this judgment was prompted by the absence of agreement between the question's subject and verb. Efforts i s plural and 'requires the plural are, not the singular is. Belying its reputation as an effete detail, agreement i s a paradigm case ofwhat syntax does. Fundamentally, syntax ties together words that rep resent elements of nonlinguistic thought. The following example illustrates h...

Here, A and B are the identities of the two communicating parties, Alice and Bob. EncPKB (·) is the public key encryption algorithm with respect to Bob’s public key PKB, while EK(·) denotes a symmetric encryption algorithm associated with a session key K. After receiving the expected information from Alice, Bob first decrypts EncPKB (K) to get the session key K using his private key SKB, and th...

Agreement Patterns have been defined for improving communication in software and services development, as well as for providing a practitioner oriented approach for reusing existing agreement technologies. This article presents the notion of agreement patterns, their structure and some of the first identified examples.

Two apparently contradictory insights about sign language can be made compatible within a formal semantic analysis: (i) the claim that directional verbs incorporate agreement markers/pronouns (e.g. Lillo-Martin and Meier 2011); (ii) the observation that directional verbs have an iconic component (e.g. Liddell 2003). I sketch formal rules that integrate iconic requirements with standard semantic...