9 citations · 32 across the 12 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
cs.LO2012★ 9 cited
Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity
Steffen Lewitzka
There are logics where necessity is defined by means of a given identity connective: ( is a tautology). On the other hand, in many standard modal log…
cs.LO2012
On some many-valued abstract logics and their Epsilon-T-style extensions
Steffen Lewitzka
Logical systems with classical negation and means for sentential or propositional self-reference involve, in some way, paradoxical statements such as the liar. However, the paradox…
cs.LO2012★ 1 cited
Necessity as justified truth
Steffen Lewitzka
We present a logic for the reasoning about necessity and justifications which is independent from relational semantics. We choose the concept of justification -- coming from a clas…