TY  - RPRT
TI  - An algebraic generalization of Kripke structures
AU  - Sérgio Marcelino
AU  - Pedro Resende
PY  - 2007
DO  - 10.1017/s0305004108001667
UR  - https://arxiv.org/abs/0704.1886
ID  - 0704.1886
ER  -