Skip to main content

Modal Tableaux for Reasoning About Diagrams

Buy Article:

$20.00 plus tax (Refund Policy)

Abstract:

This paper, we propose a modal logic satisfying minimal requirements for reasoning about diagrams via collection of sets and relations between them, following Harel's proposal. We first give an axiomatics of such a theory and then provide its Kripke semantics. Then we extend previous works of ours in order to obtain a decision procedure based on tableaux for this logic. Beside soundness and completeness of our tableaux, we manage to define a strategy of rule application ensuring termination by extending the usual loop test of modal logic S4 to whole sub-structures of the model being computed.

Document Type: Research Article

Publication date: November 1, 2006

rodopi/pozs/2006/00000091/00000001/art00011
dcterms_title,dcterms_description,pub_keyword
6
5
20
40
5

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more