Finite Axiomatizability of Transitive Logics of Finite Depth and of Finite Weak Width
2019-08-13 00:50:40YanZhang
邏輯學研究 2019年3期
- 邏輯學研究的其它文章
- Imaginability and Possibility
- Model Theoretical Aspects of Normal Polyadic Modal Logic：An Exposition
- On f-generic types in Presburger Arithmetic
- How Does Uncertainty about Other Voters Determine a Strategic Vote？
- The Completeness for the combination of PDL and EL with Perfect Recall and No Miracles