The Completeness for the combination of PDL and EL with Perfect Recall and No Miracles
2019-08-13 00:50:40YanjunLi
邏輯學(xué)研究 2019年3期
- 邏輯學(xué)研究的其它文章
- 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？
- Finite Axiomatizability of Transitive Logics of Finite Depth and of Finite Weak Width