On dividing chains in simple theories. - Steffen Lewitzka; Ruy J. G. B. de Queiroz (Arch. Math. Log., 2005)

Abstract Logics, Logic Maps, and Logic Homomorphisms. - Steffen Lewitzka (Logica Universalis, 2007)

Minimally Generated Abstract Logics. - Steffen Lewitzka; Andreas Bernhard Michael Brunner (Logica Universalis, 2009)

∈I: An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity. - Steffen Lewitzka (Notre Dame J. Formal Log., 2009)

Î K: a Non-Fregean Logic of Explicit Knowledge. - Steffen Lewitzka (Stud Logica, 2011)

Necessity as justified truth - Steffen Lewitzka (CoRR, 2012)

On some many-valued abstract logics and their Epsilon-T-style extensions - Steffen Lewitzka (CoRR, 2012)

Denotational semantics for normal modal logics with propositional quantifiers and identity - Steffen Lewitzka (CoRR, 2012)

Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate. - Steffen Lewitzka (Log. J. IGPL, 2012)

Semantically closed intuitionistic abstract logics. - Steffen Lewitzka (J. Log. Comput., 2012)

A denotational semantics for a Lewis-style modal system close to S1 - Steffen Lewitzka (CoRR, 2013)

Combining intermediate propositional logics with classical logic. - Steffen Lewitzka (CoRR, 2015)

Denotational Semantics for Modal Systems S3-S5 Extended by Axioms for Propositional Quantifiers and Identity. - Steffen Lewitzka (Stud Logica, 2015)

Algebraic semantics for a modal logic close to S1. - Steffen Lewitzka (J. Log. Comput., 2016)

Epistemic extensions of combined classical and intuitionistic propositional logic. - Steffen Lewitzka (Log. J. IGPL, 2017)

A modal logic amalgam of classical and intuitionistic propositional logic. - Steffen Lewitzka (J. Log. Comput., 2017)

Topological Representation of Intuitionistic and Distributive Abstract Logics. - Andreas Bernhard Michael Brunner; Steffen Lewitzka (Logica Universalis, 2017)

Reasoning about proof and knowledge. - Steffen Lewitzka (Ann. Pure Appl. Log., 2019)

Access-based intuitionistic knowledge. - Steffen Lewitzka (J. Log. Comput., 2021)

Belief, knowledge and evidence. - Steffen Lewitzka; Vinícius Pinto (CoRR, 2023)

Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity. - Steffen Lewitzka (J. Log. Lang. Inf., 2023)