Since sentences can refer to events described by other sentences , we may need also a quotation operator ; Perlis ( 1985 ) describes how first order logic can be augmented with such an operator .
languages with self reference i foundationsquot
D Perlis
The reader may consult recent papers on this subject ( e.g. Moens and Steedman 1987 ; Webber 1987 ) to see what a formal interpretation of events in time might look like . Since sentences can refer to events described by other sentences , we may need also a quotation operator ; Perlis ( 1985 ) describes how first order logic can be augmented with such an operator . Extending and revising Jackendoff 's ( 1983 ) formalism seems to us a correct method to achieve the correspondence between syntax and semantics expressed in the grammatical constraint ( `` that one should prefer a semantic theory that explains otherwise arbitrary generalizations about the syntax and the lexicon '' -- ibid . )
Since sentences can refer to events described by other sentences , we may need also a quotation operator ; @@CITATION describes how first order logic can be augmented with such an operator .