论文信息 - Expressivity of finitary coalgebraic logics

Expressivity of finitary coalgebraic logics

PCT No. PCT/JP85/00665 Sec. 371 Date Jun. 17, 1986 Sec. 102(e) Date Jun. 17, 1986 PCT Filed Dec. 4, 1985 PCT Pub. No. WO86/03604 PCT Pub. Date Jun. 19, 1986.An apparatus for displaying astrological information has a construction in which a first display element simulating a position on the circumference as the direction of the sun on the ecliptic and a second display element displaying the difference of the sun direction on a birthday with respect to the moon direction, that is, an aspect, or fortune information corresponding to the aspect, are coaxially disposed, and one of these display elements is rotated and set to a position by the aid of moon direction setting means so that the relation of the relative positions between the origin of the second display element and the present sun position on the first display element is substantially in agreement with the difference of directions between the present sun direction and the present moon direction. While the set condition is being kept, the aspect or the fortune information can be stipulated from the display on the second display element corresponding to the sun position on the birthday on the first display element.

Clemens Kupke | C. Kupke

[1] Yde Venema,et al. Algebras and coalgebras , 2007, Handbook of Modal Logic.

[2] Lawrence S. Moss,et al. Coalgebraic Logic , 1999, Ann. Pure Appl. Log..

[3] Bart Jacobs,et al. Structural Induction and Coinduction in a Fibrational Setting , 1998, Inf. Comput..

[4] Kim G. Larsen,et al. Bisimulation through Probabilistic Testing , 1991, Inf. Comput..

[5] Jan J. M. M. Rutten,et al. Automata and Coinduction (An Exercise in Coalgebra) , 1998, CONCUR.

[6] Yde Venema. Automata and fixed point logic: A coalgebraic perspective , 2006, Inf. Comput..

[7] Alexandru Baltag,et al. A Logic for Coalgebraic Simulation , 2000, CMCS.

[8] Jan J. M. M. Rutten,et al. Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..

[9] Dirk Pattinson,et al. An Introduction to the Theory of Coalgebras , 2003 .

[10] James Worrell,et al. On the final sequence of a finitary set functor , 2005, Theor. Comput. Sci..

[11] Alexander Kurz,et al. Coalgebras and Modal Logic , 1998 .

[12] Jan J. M. M. Rutten. Relators and Metric Bisimulations , 1998, CMCS.

[13] Erik P. de Vink,et al. Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach , 1997, Theor. Comput. Sci..

[14] B. Jacobs,et al. A tutorial on (co)algebras and (co)induction , 1997 .