Two-Dimensional Tableaux
David Gilbert · The Australasian Journal of Logic · 2016
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.