PP-2002-02: Regular Equivalence and Dynamic Logic

PP-2002-02: Marx, Maarten and Masuch, Michael (2002) Regular Equivalence and Dynamic Logic. [Report]

[img] Text (Full Text)
PP-2002-02.text.ps.gz

Download (372kB)
[img] Text (Abstract)
PP-2002-02.abstract.txt

Download (915B)

Abstract

This paper describes a precise linguistic counterpart to the notion of a regular equivalence relation on a social network. That is, a formal language of position terms is defined with the property that on finite networks, two actors are regularly equivalent if and only if they cannot be distinguished by a position term. The paper also contains an exact characterization of the set of complex relations which are preserved under regular equivalences. The results presented here are known from logic and computer science, in which the mentioned language is called dynamic logic. The aim of the paper is to make these results available to social network analysts and explain why they are of interest to them.

Item Type: Report
Report Nr: PP-2002-02
Series Name: Prepublication (PP) Series
Year: 2002
Uncontrolled Keywords: social networks, regular equivalence, position analysis, bisimulation, dynamic logic, modal logic, description logic
Subjects: Logic
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/66

Actions (login required)

View Item View Item