Partial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic

Rohan French, Lloyd Humberstone

Abstract


The purpose of the present note is to advertise an interesting conjecture concerning a well-known translation in modal logic, by confirming a (highly restricted) special case of the conjecture.

Full Text:

PDF

Refbacks

  • There are currently no refbacks.