Skip to main content

The Expressiveness of Spider Diagrams Augmented with Constants

Stapleton, Gem and Howse, John and Taylor, John and Thompson, Simon (2004) The Expressiveness of Spider Diagrams Augmented with Constants. In: 2004 IEEE Symposium on Visual Languages - Human Centric Computing. IEEE, pp. 90-98. ISBN 0-7803-8696-5. (doi:10.1109/VLHCC.2004.57) (KAR id:14077)

Language: English
Download (555kB) Preview
[thumbnail of The_expressiveness_of_spider_diagrams_augmented.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL:


Spider diagrams are a visual language for expressing logical statements. Spiders represent the existence of elements and contours denote sets. Several sound and complete spider diagram systems have been developed and it is known that the spider diagram language is equivalent in expressive power to monadic first order logic with equality. However, these sound and complete spider diagram systems do not contain syntactic elements analogous to constants in first order predicate logic. We extend the spider diagram language to include constant spiders which represent specific individuals and give formal semantics for the extended diagram language. We then prove that this extended system is equivalent in expressive power to the language of spider diagrams without constants.

Item Type: Book section
DOI/Identification number: 10.1109/VLHCC.2004.57
Uncontrolled keywords: expressiveness spider diagrams constants existential universal
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:01 UTC
Last Modified: 16 Nov 2021 09:52 UTC
Resource URI: (The current URI for this page, for reference purposes)
Thompson, Simon:
  • Depositors only (login required):


Downloads per month over past year