Alexander Kurz and Dirk Pattinson. Coalgebras and Modal Logic for Parameterised Endofunctors. Technical Report SEN-R0040, CWI, December 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Translating Logics for Coalgebras - Pattinson (2002) Self-citation (Pattinson) (Correct)
No context found.
A. Kurz and D. Pattinson. Coalgebras and Modal Logics for Parameterised Endofunctors. Technical report, CWI, 2000.
Observational Logic, Constructor-Based Logic, and their.. - Bidoit, Hennicker, Kurz (2002) Self-citation (Kurz) (Correct)
....ranges over all operation symbols in OP that have an argument of sort s,andP t denotes the set interpreting the parameter sort t S Param ,andY s # is X s # for s # S State and P s # for s # S Param . Finally, let us mention that the functors # described above have been characterized in [29] as those functors that, making the dependency on the parameters explicit, have a left adjoint. The relationship of coalgebras and hidden algebra [15] is discussed e.g. in [13] and [35] 6.3 The Duality Principle for Observability and Reachability The essence of our categorical description of ....
A. Kurz and D. Pattinson. Coalgebras and modal logics for parameterised endofunctors. Technical Report SEN-R0040, CWI, 2000. Available at http://www.cwi.nl/~kurz.
Logics Admitting Final Semantics - Kurz Self-citation (Kurz) (Correct)
....has cofree coalgebras then any logic L for Sigma coalgebras has a smallest expressive extension L . The idea of the construction is simply to add, for each behavioural covariety B, a formula defining B. That this results indeed in a logic in the sense of Definition 4 follows from [11], Theorem 4.12. The extension L is the smallest expressive extension in the sense that L definable classes are also definable in any other expressive extension of L. 2 Logics Admitting Final Semantics The notion of a logic admitting final semantics is adapted from Mahr and Makowsky [15] ....
.... Theta D) the class (B) V is L definable and, therefore, has a fully abstract final coalgebra. Now apply Theorem 2. Let L be a logic having precisely the behavioural covarieties as definable classes. That L is a logic in the sense of Definition 4 follows from Theorem 4. 12 in [11]. Define, for all C 2 Set, L C as the disjoint union LC L C and j= C = j= C [ j= C ) Then L is a fragment of the expressive logic L . Since L definable classes are quasi covarieties and L definable classes are behavioural covarieties, L definable classes are ....
[Article contains additional citation context not shown here]
A. Kurz and D. Pattinson. Coalgebras and modal logics for parameterised endofunctors. Technical Report SEN-R0040, CWI, 2000. http:www.cwi.nl/~kurz.
Observational Logic, Constructor-Based Logic, and their.. - Bidoit, Hennicker, Kurz Self-citation (Kurz) (Correct)
....over all operation symbols in OP that have an argument of sort s, and P t denotes the set interpreting the parameter sort t 2 S Param , and Y s 0 is X s 0 for s 2 S State and P s 0 for s 2 S Param . Finally, let us mention that the 32 functors described above have been characterized in [29] as those functors that, making the dependency on the parameters explicit, have a left adjoint. The relationship of coalgebras and hidden algebra [15] is discussed e.g. in [13] and [35] 6.3 The Duality Principle for Observability and Reachability The essence of our categorical description of ....
A. Kurz and D. Pattinson. Coalgebras and modal logics for parameterised endofunctors. Technical Report SEN-R0040, CWI, 2000. Available at http: //www.cwi.nl/~kurz.
A Coalgebraic Calculus for Component Based Systems - Meng, Aichernig (Correct)
No context found.
Alexander Kurz and Dirk Pattinson. Coalgebras and Modal Logic for Parameterised Endofunctors. Technical Report SEN-R0040, CWI, December 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC