Outline

• Set-Oriented Logical Connectives

• The Unique Variable Binding Rule

• Set Arguments

• “Higher-Order” Logic

• Intensional Representation

• The Numerical Quantifiers

• Contexts

• Belief Revision

• Relevance Logic

• Circular and Recursive Rules

Previous slide

Next slide

Back to first slide

View graphic version