{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:59Z","timestamp":1761611099337},"reference-count":18,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Social Networks"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.1016\/s0378-8733(02)00036-9","type":"journal-article","created":{"date-parts":[[2003,1,30]],"date-time":"2003-01-30T14:22:41Z","timestamp":1043936561000},"page":"51-65","source":"Crossref","is-referenced-by-count":26,"title":["Regular equivalence and dynamic logic"],"prefix":"10.1016","volume":"25","author":[{"given":"Maarten","family":"Marx","sequence":"first","affiliation":[]},{"given":"Michael","family":"Masuch","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0378-8733(02)00036-9_BIB1","unstructured":"van Benthem, J., 1976. Modal Correspondence Theory. Ph.D. Thesis, Mathematisch Instituut & Instituut voor Grondslagenonderzoek, University of Amsterdam."},{"key":"10.1016\/S0378-8733(02)00036-9_BIB2","unstructured":"van Benthem, J., 1996. Exploring Logical Dynamics. Studies in Logic, Language and Information. CSLI Publications, Stanford."},{"key":"10.1016\/S0378-8733(02)00036-9_BIB3","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y., 2001. Modal Logic. Cambridge University Press, Cambridge, UK.","DOI":"10.1017\/CBO9781107050884"},{"key":"10.1016\/S0378-8733(02)00036-9_BIB4","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0378-8733(99)00006-4","article-title":"Relations, residuals, regular interiors, and relative regular equivalence","volume":"21","author":"Boyd","year":"1999","journal-title":"Social Networks"},{"key":"10.1016\/S0378-8733(02)00036-9_BIB5","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., Tiuryn, J., 2000. Dynamic Logic. MIT Press.","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"10.1016\/S0378-8733(02)00036-9_BIB6","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","article-title":"Algebraic laws for indeterminism and concurrency","volume":"32","author":"Hennessy","year":"1985","journal-title":"Journal of the ACM"},{"key":"10.1016\/S0378-8733(02)00036-9_BIB7","unstructured":"Higgins, P.J., 1971. Notes on Categories and Groupoids. van Nostrand Reinhold, London."},{"key":"10.1016\/S0378-8733(02)00036-9_BIB8","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1080\/0022250X.1971.9989788","article-title":"The structural equivalence of individuals in social networks","volume":"1","author":"Lorrain","year":"1971","journal-title":"Journal of Mathematical Sociology"},{"key":"10.1016\/S0378-8733(02)00036-9_BIB9","unstructured":"Mintzberg, H., 1978. Structuring of Organizations. Prentice Hall."},{"key":"10.1016\/S0378-8733(02)00036-9_BIB10","doi-asserted-by":"crossref","unstructured":"Park, D., 1981. Concurrency and automata on infinite sequences. In: Proceedings of the 5th GI Conference. Springer, pp. 167\u2013183.","DOI":"10.1007\/BFb0017309"},{"key":"10.1016\/S0378-8733(02)00036-9_BIB11","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1016\/0378-8733(88)90005-6","article-title":"Network models: some comments on papers in this special issue","volume":"10","author":"Pattison","year":"1988","journal-title":"Social Networks"},{"key":"10.1016\/S0378-8733(02)00036-9_BIB12","doi-asserted-by":"crossref","unstructured":"Pattison, P., 1993. Algebraic Models for Social Networks. Cambridge University Press, Cambridge, UK.","DOI":"10.1017\/CBO9780511571220"},{"key":"10.1016\/S0378-8733(02)00036-9_BIB13","unstructured":"Ponse, A., de Rijke, M., Venema, Y. (Eds.), 1995. Modal Logic and Process Algebra: A Bisimulation Perspective, vol. 53 of Lecture Notes. CSLI Publications, Stanford."},{"key":"10.1016\/S0378-8733(02)00036-9_BIB14","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0378-8733(78)90014-X","article-title":"Structural equivalence: meaning and definition","volume":"1","author":"Sailer","year":"1978","journal-title":"Social Networks"},{"key":"10.1016\/S0378-8733(02)00036-9_BIB15","unstructured":"Starke, P.H., 1972. Abstract Automata. North Holland."},{"key":"10.1016\/S0378-8733(02)00036-9_BIB16","doi-asserted-by":"crossref","unstructured":"Wassermann, S., Faust, K., 1994. Social Network Analysis. Cambridge University Press, Cambridge, UK.","DOI":"10.1017\/CBO9780511815478"},{"key":"10.1016\/S0378-8733(02)00036-9_BIB17","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0378-8733(83)90025-4","article-title":"Graph and semigroup homomorphisms on networks and relations","volume":"5","author":"White","year":"1983","journal-title":"Social Networks"},{"key":"10.1016\/S0378-8733(02)00036-9_BIB18","doi-asserted-by":"crossref","unstructured":"Winship, C., Mandel, M., 1983. Roles and positions: a critique and extension of the blockmodeling approach. In: Leinhardt, S. (Ed.), Sociological Methodology. Jossey-Bass, 1983\u20131984, pp. 314\u2013344.","DOI":"10.2307\/270911"}],"container-title":["Social Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0378873302000369?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0378873302000369?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,11]],"date-time":"2020-03-11T08:48:46Z","timestamp":1583916526000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0378873302000369"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,1]]}},"alternative-id":["S0378873302000369"],"URL":"https:\/\/doi.org\/10.1016\/s0378-8733(02)00036-9","relation":{},"ISSN":["0378-8733"],"issn-type":[{"value":"0378-8733","type":"print"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}