Creating a second order diagrammatic logic

Authors:
Peter Chapman;Gem Stapleton
Affiliations:
University of Brighton, UK;University of Brighton, UK
Venue:
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
Year:
2010

Citing 3
Cited 0

Constraint diagrams: visualizing invariants in object-oriented models

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A diagrammatic reasoning system for the description logic ALC

Journal of Visual Languages and Computing
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages

Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.