more from M Fitting/R Mendelsohn

### Single Idea 9736

#### [catalogued under 4. Formal Logic / D. Modal Logic ML / 2. Tools of Modal Logic / b. Terminology of ML]

Full Idea

A 'model' is a frame plus a specification of which propositional letters are true at which worlds. It is written as

Clarification

See Idea 9735 for 'frame'. The G and R are printed in a script font

Gist of Idea

A 'model' is a frame plus specification of propositions true at worlds, written < G,R,||- >

Source

M Fitting/R Mendelsohn (First-Order Modal Logic [1998], 1.6)

Book Reference

Fitting,M/Mendelsohn,R: 'First-Order Modal Logic' [Synthese 1998], p.12

Related Idea

Idea 9735
A 'frame' is a set G of possible worlds, with an accessibility relation R, written < G,R > **[Fitting/Mendelsohn]**