TY  - RPRT
TI  - A Godel Modal Logic
AU  - Xavier Caicedo
AU  - Ricardo Oscar Rodriguez
PY  - 2009
UR  - https://arxiv.org/abs/0903.2767
ID  - 0903.2767
ER  -