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