Two-Dimensional Tableaux

David Gilbert

Abstract


We present two-dimensional tableau systems for the actuality, fixedly, and up-arrow operators. All systems are proved sound and complete with respect to a two-dimensional semantics.  In addition, a decision procedure for the actuality logics is discussed.

Full Text:

PDF

Refbacks

  • There are currently no refbacks.