逻辑学研究
Symposium:Conference of Modern Logic(Part 2)
- The Completeness for the combination of PDL and EL with Perfect Recall and No Miracles
- Finite Axiomatizability of Transitive Logics of Finite Depth and of Finite Weak Width
- How Does Uncertainty about Other Voters Determine a Strategic Vote?
- On f-generic types in Presburger Arithmetic
- Model Theoretical Aspects of Normal Polyadic Modal Logic:An Exposition
- Imaginability and Possibility