2 citations · 2 across the 3 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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…