文章基本信息

标题：Two-Dimensional Tableaux
本地全文：下载
作者：David Gilbert
期刊名称：Australasian Journal of Logic
印刷版ISSN：1448-5052
电子版ISSN：1448-5052
出版年度：2016
卷号：13
期号：7
语种：English
出版社：Philosophy Department, University of Melbourne
摘要：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.