Steffen Lewitzka

According to our database, Steffen Lewitzka authored at least 21 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity.

Steffen Lewitzka

J. Log. Lang. Inf., August, 2023

Belief, knowledge and evidence.

Steffen Lewitzka, Vinícius Pinto

CoRR, 2023

2021

Access-based intuitionistic knowledge.

Steffen Lewitzka

J. Log. Comput., 2021

2019

Reasoning about proof and knowledge.

Steffen Lewitzka

Ann. Pure Appl. Log., 2019

2017

Topological Representation of Intuitionistic and Distributive Abstract Logics.

Andreas Bernhard Michael Brunner, Steffen Lewitzka

Logica Universalis, 2017

A modal logic amalgam of classical and intuitionistic propositional logic.

Steffen Lewitzka

J. Log. Comput., 2017

Epistemic extensions of combined classical and intuitionistic propositional logic.

Steffen Lewitzka

Log. J. IGPL, 2017

2016

Algebraic semantics for a modal logic close to S1.

Steffen Lewitzka

J. Log. Comput., 2016

2015

Denotational Semantics for Modal Systems S3-S5 Extended by Axioms for Propositional Quantifiers and Identity.

Steffen Lewitzka

Stud Logica, 2015

Combining intermediate propositional logics with classical logic.

Steffen Lewitzka

CoRR, 2015

2013

A denotational semantics for a Lewis-style modal system close to S1

Steffen Lewitzka

CoRR, 2013

2012

Semantically closed intuitionistic abstract logics.

Steffen Lewitzka

J. Log. Comput., 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

Denotational semantics for normal modal logics with propositional quantifiers and identity

Steffen Lewitzka

CoRR, 2012

On some many-valued abstract logics and their Epsilon-T-style extensions

Steffen Lewitzka

CoRR, 2012

Necessity as justified truth

Steffen Lewitzka

CoRR, 2012

2011

Î _<i>K</i>: a Non-Fregean Logic of Explicit Knowledge.

Steffen Lewitzka

Stud Logica, 2011

2009

∈_I: An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity.

Steffen Lewitzka

Notre Dame J. Formal Log., 2009

Minimally Generated Abstract Logics.

Steffen Lewitzka, Andreas Bernhard Michael Brunner

Logica Universalis, 2009

2007

Abstract Logics, Logic Maps, and Logic Homomorphisms.

Steffen Lewitzka

Logica Universalis, 2007

2005

On dividing chains in simple theories.

Steffen Lewitzka, Ruy J. G. B. de Queiroz

Arch. Math. Log., 2005