Many of the formal diagrammatic logics that have been developed are limited to be first order (typically monadic). This means that such logics cannot define commonly occurring concepts and, thus, are not as widely applicable as we might like. Suitably increasing their expressiveness will allow both the formalization of second order concepts and the study of such concepts from a new perspective. Our aim is to produce a second order diagrammatic logic and we present the initial ideas towards the development of such a logic.
|Number of pages||3|
|Publication status||Published - 1 Jan 2010|
|Event||6th International Conference on the Theory and Application of Diagrams - Portland, Oregon, USA, 9-11 August, 2010|
Duration: 9 Aug 2010 → …
|Conference||6th International Conference on the Theory and Application of Diagrams|
|Period||9/08/10 → …|