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.
Published
2016-12-19
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: <https://ojs.victoria.ac.nz/ajl/article/view/3894>. Date accessed: 23 may 2019. doi: https://doi.org/10.26686/ajl.v13i7.3894.