9 citations · 32 across the 12 of their papers we have counts for
12 papers
Belief, knowledge and evidence
Steffen Lewitzka, Vinícius Pinto
We present a logical system that combines the well-known classical epistemic concepts of belief and knowledge with a concept of evidence such that the intuitive principle \textit{`…
Some remarks on semantics and expressiveness of the Sentential Calculus with Identity
Steffen Lewitzka
Suszko's Sentential Calculus with Identity SCI results from classical propositional calculus CPC by adding a new connective and axioms for identity (which we in…
Access-based Intuitionistic Knowledge
Steffen Lewitzka
We introduce the concept of access-based intuitionistic knowledge which relies on the intuition that agent knows if has found access to a proof of . Basic principles…
Reasoning about proof and knowledge
Steffen Lewitzka
In previous work [Lewitzka, Log. J. IGPL 2017], we presented a hierarchy of classical modal systems, along with algebraic semantics, for the reasoning about intuitionistic truth, b…
Epistemic extensions of combined classical and intuitionistic propositional logic
Steffen Lewitzka
Logic was introduced by Lewitzka [7] as a modal system that combines intuitionistic and classical logic: is a conservative extension of CPC and it contains a copy of IPC vi…
Combining intermediate propositional logics with classical logic
Steffen Lewitzka
In [17], we introduced a modal logic, called , which combines intuitionistic propositional logic and classical propositional logic and is complete w.r.t. an algebrai…
Topological representation of intuitionistic and distributive abstract logics
Andreas B. M. Brunner, Steffen Lewitzka
We continue work of our earlier paper (Lewitzka and Brunner: Minimally generated abstract logics, Logica Universalis 3(2), 2009), where abstract logics and particularly intuitionis…
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…
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…
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…
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…
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…