메뉴 건너뛰기
Electronic Notes in Theoretical Computer Science
Volumn 65, Issue 1, 2002, Pages 54-70
Institutionalising many-sorted coalgebraic modal logic
Author keywords

[No Author keywords available]
Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; MODAL ANALYSIS; POLYNOMIALS; SET THEORY; THEOREM PROVING;
EID: 18944394502     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80359-1     Document Type: Conference Paper
Times cited : (12)
References (9)
  • 1
    • 84949024611 scopus 로고    scopus 로고
    • On specification logics for algebra-coalgebra structures: Reconciling reachability and observability
    • M. Nielsen and U. Engberg, editors, Foundations of Software Science and Computation Structures Springer
    • C. CǏrstea. On specification logics for algebra-coalgebra structures: Reconciling reachability and observability. In M. Nielsen and U. Engberg, editors, Foundations of Software Science and Computation Structures, volume 2303 of Lecture Notes in Compute Science, pages 82-97. Springer, 2002.
    • (2002) Lecture Notes in Compute Science , vol.2303 , pp. 82-97
    • Cǐrstea, C.1
  • 2
    • 0026444654 scopus 로고
    • Institutions: Abstract model theory for specification and programming
    • Goguen J., Burstall R. Institutions: Abstract model theory for specification and programming. Journal of the ACM. 39:(1):1992;95-146
    • (1992) Journal of the ACM , vol.39 , Issue.1 , pp. 95-146
    • Goguen, J.1    Burstall, R.2
  • 3
    • 18944393410 scopus 로고
    • Logics of Time and Computation Center for the Study of Language and Information, Stanford University
    • R. Goldblatt. Logics of Time and Computation, volume 7 of CSLI Lecture Notes. Center for the Study of Language and Information, Stanford University, 1992
    • (1992) CSLI Lecture Notes , vol.7
    • Goldblatt, R.1
  • 4
    • 17844383468 scopus 로고    scopus 로고
    • Many-sorted coalgebraic modal logic: A model-theoretic study
    • Jacobs B. Many-sorted coalgebraic modal logic: A model-theoretic study. Theoretical Informatics and Applications. 35:(1):2001;31-59
    • (2001) Theoretical Informatics and Applications , vol.35 , Issue.1 , pp. 31-59
    • Jacobs, B.1
  • 5
    • 19044366690 scopus 로고    scopus 로고
    • Specifying coalgebras with modal logic
    • B. Jacobs, L. Moss, H. Reichel, and J. Rutten, editors, Coalgebraic Methods in Computer Science Elsevier Science
    • A. Kurz. Specifying coalgebras with modal logic. In B. Jacobs, L. Moss, H. Reichel, and J. Rutten, editors, Coalgebraic Methods in Computer Science, volume 11 of Electronic Notes in Theoretical Computer Science, pages 57-71. Elsevier Science, 1998
    • (1998) Electronic Notes in Theoretical Computer Science , vol.11 , pp. 57-71
    • Kurz, A.1
  • 7
    • 18944403292 scopus 로고    scopus 로고
    • Coalgebras and modal logic
    • H. Reichel, editor, Coalgebraic Methods in Computer Science Elsevier Science
    • M. Rößiger. Coalgebras and modal logic. In H. Reichel, editor, Coalgebraic Methods in Computer Science, volume 33 of Electronic Notes in Theoretical Computer Science, pages 299-320. Elsevier Science, 2000
    • (2000) Electronic Notes in Theoretical Computer Science , vol.33 , pp. 299-320
    • Rößiger, M.1
  • 8
    • 0038010797 scopus 로고
    • A calculus of transition systems (towards universal coalgebra)
    • CWI
    • J.J.M.M. Rutten. A calculus of transition systems (towards universal coalgebra). Technical Report CS-R9503, CWI, 1995.
    • (1995) Technical Report , vol.CS-R9503
    • Rutten, J.J.M.M.1
  • 9
    • 0001986854 scopus 로고    scopus 로고
    • Universal coalgebra: A theory of systems
    • Rutten J.J.M.M. Universal coalgebra: a theory of systems. Theoretical Computer Science. 249:(1):2000;3-80
    • (2000) Theoretical Computer Science , vol.249 , Issue.1 , pp. 3-80
    • Rutten, J.J.M.M.1

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