Tero Tulenheimo On IF Modal Logic and its Expressive Power. 475-498 2002 conf/aiml/2002 Advances in Modal Logic db/conf/aiml/aiml2002.html#Tulenheimo02