2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.LO2020★ 2 cited
Some Common Mistakes in the Teaching and Textbooks of Modal Logic
Xuefeng Wen
We discuss four common mistakes in the teaching and textbooks of modal logic. The first one is missing the axiom , when choosing a…
cs.LO2019
On Axiomatization of Lewis' Conditional Logics
Xuefeng Wen
This paper first shows that the popular axiomatic systems proposed by Nute for Lewis' conditional logics are not equivalent to Lewis' original systems. In particular, the axiom CA…
cs.LO2019
Modal Logic via Global Consequence
Xuefeng Wen
In modal logic, semantic consequence is usually defined locally by truth preservation at all worlds in all models (with respect to a class of frames). It can also be defined global…