The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...

In view of the growing prominence of corporate modeling, an important area of research concerns techniques for facilitating the design and utilization of models. In this paper we show how first-order ...

Invariants should be well-formed formulas, that is, they should be logical statements (with a truth-value--true, of course), in the predicate calculus or rigorous English. A good invariant is a ...

Formation rules Induction on formula complexity Semantic methods: Truth tables, partial truth tables, trees Reading: Lemmon pp 41-49, 64-74 Validity in virtue of quantifier structure Elementary ...

To reason about the world, we need to be able to represent our knowledge of it. This class explores the different ways in which we can represent information, the functionality that each approach ...