QMML: Quantified Minimal Modal Logic, and its Applications

Publication details

  • Journal: Logic Journal of the IGPL, vol. 11, p. 557–575, 2003
  • International Standard Numbers:
    • Printed: 1367-0751
    • Electronic: 1368-9894