SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

RAIRO - Theoretical Informatics and Applications

Volumn 35, Issue 1, 2001, Pages 31-59

Many-sorted coalgebraic modal logic: A model-theoretic study

(1) Jacobs, B a

a RADBOUD UNIVERSITY NIJMEGEN (Netherlands)

Author keywords

Boolean algebra with operators; Coalgebra; Modal logic

Indexed keywords

BOOLEAN ALGEBRA; MATHEMATICAL OPERATORS; POLYNOMIALS; SEMANTICS;

MANY-SORTED COALGEBRAIC MODAL LOGIC; POLYNOMIAL FUNCTORS;

FORMAL LOGIC;

EID: 17844383468 PISSN: 09883754 EISSN: 28047346 Source Type: Journal
DOI: 10.1051/ita:2001108 Document Type: Article

Times cited : (74)

References (31)

1
- 0003369028
- A logic for coalgebraic simulation
- edited by H. Reichel, Coalgebraic Methods in Computer Science. Elsevier, Amsterdam
- (2000) Electron. Notes Theor. Comput. Sci. , vol.33
- Baltag, A.¹

2
- 0004232136
- Math. Textbooks. Cambridge Univ. Press
- (1990) Introduction to Lattices and Order
- Davey, B.A.¹ Priestley, H.A.²

3
- 0003363747
- Mathematics of Modality
- Stanford
- (1993) CSLI Lecture Notes , vol.43
- Goldblatt, R.¹

4
- 85046909180
- Duality for some categories of coalgebras
- (to appear)
- Algebra Universalies
- Goldblatt, R.¹

5
- 0035817893
- What is the coalgebraic analogue of Birkhoff's variety theorem?
- (to appear)
- Theoret. Comput. Sci.
- Goldblatt, R.¹

6
- 85034843372
- On observing non-determinism and concurrency
- edited by J.W. de Bakker and J. van Leeuwen, Mathematical Foundations of Computer Science. Springer, Berlin
- (1980) Lecture Notes in Comput. Sci. , vol.85 , pp. 299-309
- Hennessy, M.¹ Milner, R.²

7
- 84947742394
- Reasoning about classes in object-oriented languages: Logical models and tools
- edited by Ch. Hankin, European Symposium on Programming. Springer, Berlin
- (1998) Lecture Notes in Comput. Sci. , vol.1381 , pp. 105-121
- Hensel, U.¹ Huisman, M.² Jacobs, B.³ Tews, H.⁴

8
- 0001055350
- Structural induction and coinduction in a fibrational setting
- (1998) Inform. and Comput. , vol.145 , pp. 107-152
- Hermida, C.¹ Jacobs, B.²

9
- 0002715717
- Objects and classes, co-algebraically
- edited by B. Freitag, C.B. Jones, C. Lengauer and H.-J. Schek; Kluwer Acad. Publ.
- (1996) Object-Orientation with Parallelism and Persistence , pp. 83-103
- Jacobs, B.¹

10
- 0003997590
- North Holland, Amsterdam
- (1999) Categorical Logic and Type Theory
- Jacobs, B.¹

11
- 4243787585
- The temporal logic of coalgebras via Galois algebras
- Comput. Sci. Inst. Univ. of Nijmegen, Math. Structures Comput. Sci. (to appear)
- Technical Report CSI-R9906
- Jacobs, B.¹

12
- 18944398063
- Towards a duality result in coalgebraic modal logic
- edited by H. Reichel, Coalgebraic Methods in Computer Science. Elsevier, Amsterdam
- (2000) Electron. Notes Theor. Comput. Sci. , vol.33
- Jacobs, B.¹

13
- 0000892681
- A tutorial on (co)algebras and (co)induction
- (1997) EATCS Bull. , vol.62 , pp. 222-259
- Jacobs, B.¹ Rutten, J.²

14
- 0348137518
- Reasoning about classes in Java (preliminary report)
- ACM Press
- (1998) Object-Oriented Programming, Systems, Languages and Applications (OOPSLA) , pp. 329-340
- Jacobs, B.¹ Van Den Berg, J.² Huisman, M.³ Van Berkum, M.⁴ Hensel, U.⁵ Tews, H.⁶

15
- 0003361697
- Stone spaces
- Cambridge Univ. Press
- (1982) Cambridge Stud. Adv. Math. , vol.3
- Johnstone, P.T.¹

16
- 0001521953
- Boolean algebras with operators I
- (1951) Amer. J. Math. , vol.73 , pp. 891-939
- Jónsson, B.¹ Tarski, A.²

17
- 0034917918
- Specifying coalgebras with modal logic
- (to appear)
- Theoret. Comput. Sci.
- Kurz, A.¹

18
- 0000504637
- Functorial semantics
- (1963) Proc. Nat. Acad. Sci. U.S.A. , vol.50 , pp. 869-872
- Lawvere, F.W.¹

19
- 0004565311
- Algebraic semantics for modal logics II
- (1966) J. Symbolic Logic , vol.31 , pp. 191-218
- Lemmon, E.J.¹

20
- 0033095780
- Coalgebraic logic
- Erratum in Ann. Pure Appl. Logic 99 (1999) 241-259
- (1999) Ann. Pure Appl. Logic , vol.96 , pp. 277-317
- Moss, L.S.¹

21
- 84976111956
- An approach to object semantics based on terminal co-algebras
- (1995) Math. Structures Comput. Sci. , vol.5 , pp. 129-152
- Reichel, H.¹

22
- 0004566136
- Languages for coalgebras on datafunctors
- edited by B. Jacobs and J. Rutten, Coalgebraic Methods in Computer Science. Elsevier, Amsterdam
- (1999) Electron. Notes Theor. Comput. Sci. , vol.19
- Rößiger, M.¹

23
- 18944403292
- Coalgebras and modal logic
- edited by H. Reichel, Coalgebraic Methods in Computer Science. Elsevier, Amsterdam
- (2000) Electron. Notes Theor. Comput. Sci. , vol.33
- Rößiger, M.¹

24
- 0034928008
- From modal logic to terminal coalgebras
- (to appear)
- Theoret. Comput. Sci.
- Rößiger, M.¹

25
- 0003254713
- The coalgebraic class specification language CCSL
- (2001) J. Universal Comput. Sci. , vol.7
- Rothe, J.¹ Tews, H.² Jacobs, B.³

26
- 0001986854
- Universal coalgebra: A theory of systems
- (2000) Theoret. Comput. Sci. , vol.249 , pp. 3-80
- Rutten, J.¹

27
- 84968486072
- The theory of representations for Boolean algebra
- (1936) Trans. Amer. Math. Soc. , vol.40 , pp. 37-111
- Stone, M.H.¹

28
- 84968483087
- Applications of the theory of Boolean rings to general topology
- (1937) Trans. Amer. Math. Soc. , vol.41 , pp. 375-481
- Stone, M.H.¹

29
- 85022954743
- On the foundations of final semantics: Non-standard sets, metric spaces and partial orders
- (1998) Math. Structures Comput. Sci. , vol.8 , pp. 481-540
- Turi, D.¹ Rutten, J.²

30
- 0033333668
- Points, lines and diamonds: A two-sorted modal logic for projective planes
- (1999) J. Logic Comput. , vol.9 , pp. 601-621
- Venema, Y.¹

31
- 0005910381
- Topology via logic
- Cambridge Univ. Press
- (1989) Tracts Theor. Comput. Sci. , vol.5
- Vickers, S.¹

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