Restricted Access
Get Access to Full Text

Subject Highlights

 

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.

Table of Contents

Information

Metrics

Metrics

All Time Past Year Past 30 Days
Abstract Views 21 21 4
Full Text Views 11 11 4
PDF Downloads 5 5 0
EPUB Downloads 0 0 0

Related Content