Two-Dimensional Tableaux

  • David Gilbert


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.
How to Cite
GILBERT, David. Two-Dimensional Tableaux. The Australasian Journal of Logic, [S.l.], v. 13, n. 7, dec. 2016. ISSN 1448-5052. Available at: <>. Date accessed: 15 nov. 2019. doi: