9 citations · 32 across the 12 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 8 cited
A modal logic amalgam of classical and intuitionistic propositional logic
Steffen Lewitzka
A famous result, conjectured by Gödel in 1932 and proved by McKinsey and Tarski in 1948, says that is a theorem of intuitionistic propositional logic IPC iff its Gödel-translat…
cs.LO2013★ 8 cited
Algebraic semantics for a modal logic close to S1
Steffen Lewitzka
The modal systems S1--S3 were introduced by C. I. Lewis as logics for strict implication. While there are Kripke semantics for S2 and S3, there is no known natural semantics for S1…