[Next] [Previous] [Up] [Top] [Contents]

4 Some examples of more expressive systems

4.2 Logics


The field of formal logic has ballooned enormously in this century. There is now a bewildering range of logics that can be used to formalise many kinds of knowledge based interactions. These naturally have the form-meaning distinction built in to the syntactic-semantic split and have the possibility of expressing a wide range of qualitative as well as quantitative properties.

Some relevant areas of logic include:


The Role of Expressiveness in Modelling Structural Change - Bruce Edmonds - 16 MAY 96
[Next] [Previous] [Up] [Top] [Contents]

Generated with CERN WebMaker