Re: [ontolog-forum] Is modal logic first-order?

[Christopher Menzel <cmenzel@xxxxxxxx>]

On Feb 22, 2007, at 6:05 PM, Christopher Menzel wrote:
> (If I recall correctly, Leob's formula above ...    (01)

Leob => Loeb (or Löb ;-) .    (02)

-chris    (03)




_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (04)