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

Authors

  • Rohan French School of Philosophy and Bioethics, Monash University
  • Lloyd Humberstone School of Philosophy and Bioethics, Monash University

DOI:

https://doi.org/10.26686/ajl.v7i0.1808

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.

Downloads

Download data is not yet available.

Author Biographies

Rohan French, School of Philosophy and Bioethics, Monash University

Lloyd Humberstone, School of Philosophy and Bioethics, Monash University

Downloads

Published

2009-07-29