메뉴 건너뛰기




Volumn 25, Issue 1, 2003, Pages 51-65

Regular equivalence and dynamic logic

Author keywords

Dynamic logic; Network analysis; Regular equivalence

Indexed keywords


EID: 0037210152     PISSN: 03788733     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0378-8733(02)00036-9     Document Type: Article
Times cited : (26)

References (18)
  • 1
    • 0004235635 scopus 로고
    • Ph.D. Thesis, Mathematisch Instituut & Instituut voor Grondslagenonderzoek, University of Amsterdam
    • van Benthem, J., 1976. Modal Correspondence Theory. Ph.D. Thesis, Mathematisch Instituut & Instituut voor Grondslagenonderzoek, University of Amsterdam.
    • (1976) Modal Correspondence Theory
    • van Benthem, J.1
  • 2
    • 0003903884 scopus 로고    scopus 로고
    • Exploring Logical Dynamics. Studies in Logic, Language and Information
    • CSLI Publications, Stanford
    • van Benthem, J., 1996. Exploring Logical Dynamics. Studies in Logic, Language and Information. CSLI Publications, Stanford.
    • (1996)
    • van Benthem, J.1
  • 4
    • 0000975987 scopus 로고    scopus 로고
    • Relations, residuals, regular interiors, and relative regular equivalence
    • Boyd, J., Everett, M., 1999. Relations, residuals, regular interiors, and relative regular equivalence. Social Networks 21, 147-165.
    • (1999) Social Networks , vol.21 , pp. 147-165
    • Boyd, J.1    Everett, M.2
  • 6
    • 0021974161 scopus 로고
    • Algebraic laws for indeterminism and concurrency
    • Hennessy, M., Milner, R., 1985. Algebraic laws for indeterminism and concurrency. Journal of the ACM 32, 137-162.
    • (1985) Journal of the ACM , vol.32 , pp. 137-162
    • Hennessy, M.1    Milner, R.2
  • 8
    • 0001964443 scopus 로고
    • The structural equivalence of individuals in social networks
    • Lorrain, F., White, H.C., 1971. The structural equivalence of individuals in social networks. Journal of Mathematical Sociology 1, 49-80.
    • (1971) Journal of Mathematical Sociology , vol.1 , pp. 49-80
    • Lorrain, F.1    White, H.C.2
  • 10
    • 84945924340 scopus 로고
    • Concurrency and automata on infinite sequences
    • Proceedings of the 5th GI Conference. Springer
    • Park, D., 1981. Concurrency and automata on infinite sequences. In: Proceedings of the 5th GI Conference. Springer, pp. 167-183.
    • (1981) , pp. 167-183
    • Park, D.1
  • 11
    • 38249027633 scopus 로고
    • Network models: Some comments on papers in this special issue
    • Pattison, P., 1988. Network models: some comments on papers in this special issue. Social Networks 10, 383-411.
    • (1988) Social Networks , vol.10 , pp. 383-411
    • Pattison, P.1
  • 14
    • 34248003261 scopus 로고
    • Structural equivalence: Meaning and definition
    • Sailer, L.D., 1978. Structural equivalence: meaning and definition. Social Networks 1, 73-90.
    • (1978) Social Networks , vol.1 , pp. 73-90
    • Sailer, L.D.1
  • 15
    • 0011376897 scopus 로고
    • Abstract Automata. North Holland
    • Starke, P.H., 1972. Abstract Automata. North Holland.
    • (1972)
    • Starke, P.H.1
  • 17
    • 34247922700 scopus 로고
    • Graph and semigroup homomorphisms on networks and relations
    • White, D.R., Reitz, K.P., 1983. Graph and semigroup homomorphisms on networks and relations. Social Networks 5, 193-234.
    • (1983) Social Networks , vol.5 , pp. 193-234
    • White, D.R.1    Reitz, K.P.2
  • 18
    • 0001699213 scopus 로고
    • Roles and positions: A critique and extension of the blockmodeling approach
    • Leinhardt, S. (Ed.), Jossey-Bass, 1983-1984
    • 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-1984, pp. 314-344.
    • (1983) Sociological Methodology , pp. 314-344
    • Winship, C.1    Mandel, M.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.