Model Theory on one page [was: I have a trouble with The RDF Model]

Graham Klyne wrote:
> At 09:44 AM 11/27/00 -0600, pat hayes wrote:
> >The domain of a model theory, more or less by definition of the term
> >"model theory", is the expressions of the language (or perhaps more
> >exactly, the parsings of those expressions according to the syntactic
> >rules of the language.)
> I'm not sure I'd know a model theory if it leapt up and bit me,

I recently studied this bit of terminology/literature;
I found a good one-page summary:

% Formal Systems - Definitions 
% (from Ruth E. Davis, Truth, Deduction, and Computation. 
% New York: Computer Science press, 1989.) 
% (c) Charles F. Schmidt 
% Last Modified: Saturday, May 08, 1999 9:07:08 PM GMT 

I digested it by transcribing it to larch:
$Id: FormalSystem.lsl,v 1.2 2000/07/27 21:54:19 connolly Exp $ 

about larch:

Dan Connolly, W3C

Received on Wednesday, 29 November 2000 18:00:38 UTC