TY  - RPRT
TI  - Bi-modal Gödel logic over [0,1]-valued Kripke frames
AU  - Xavier Caicedo
AU  - Ricardo Oscar Rodriguez
PY  - 2011
UR  - https://arxiv.org/abs/1110.2407
ID  - 1110.2407
ER  -