PP-2002-02: Regular Equivalence and Dynamic Logic

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

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

Download (372kB)
[thumbnail of Abstract] 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