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