Steffen Lewitzka

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 15

Top Topics

Belief Revision

Prime Implicates

Propositional Logic

Top Venues

J. Log. Comput.

Logica Universalis

Publications

Steffen Lewitzka, Vinícius Pinto
Belief, knowledge and evidence. CoRR (2023)
Steffen Lewitzka
Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity. J. Log. Lang. Inf. 32 (3) (2023)
Steffen Lewitzka
Access-based intuitionistic knowledge. J. Log. Comput. 31 (2) (2021)
Steffen Lewitzka
Some remarks on semantics and expressiveness of the Sentential Calculus with Identity. CoRR (2021)
Steffen Lewitzka
Access-based Intuitionistic Knowledge. CoRR (2020)
Steffen Lewitzka
Reasoning about proof and knowledge. Ann. Pure Appl. Log. 170 (2) (2019)
Steffen Lewitzka
Epistemic extensions of combined classical and intuitionistic propositional logic. Log. J. IGPL 25 (3) (2017)
Steffen Lewitzka
A modal logic amalgam of classical and intuitionistic propositional logic. J. Log. Comput. 27 (1) (2017)
Andreas Bernhard Michael Brunner, Steffen Lewitzka
Topological Representation of Intuitionistic and Distributive Abstract Logics. Logica Universalis 11 (2) (2017)
Steffen Lewitzka
Reasoning about proof and knowledge. CoRR (2017)
Steffen Lewitzka
Epistemic extensions of combined classical and intuitionistic propositional logic. CoRR (2016)
Steffen Lewitzka
Algebraic semantics for a modal logic close to S1. J. Log. Comput. 26 (5) (2016)
Steffen Lewitzka
Denotational Semantics for Modal Systems S3-S5 Extended by Axioms for Propositional Quantifiers and Identity. Stud Logica 103 (3) (2015)
Steffen Lewitzka
Combining intermediate propositional logics with classical logic. CoRR (2015)
Andreas Bernhard Michael Brunner, Steffen Lewitzka
Topological representation of intuitionistic and distributive abstract logics. CoRR (2015)
Steffen Lewitzka
A modal logic amalgam of classical and intuitionistic propositional logic. CoRR (2013)
Steffen Lewitzka
A denotational semantics for a Lewis-style modal system close to S1 CoRR (2013)
Steffen Lewitzka
Denotational semantics for normal modal logics with propositional quantifiers and identity CoRR (2012)
Steffen Lewitzka
Necessity as justified truth CoRR (2012)
Steffen Lewitzka
Semantically closed intuitionistic abstract logics. J. Log. Comput. 22 (3) (2012)
Steffen Lewitzka
Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate. Log. J. IGPL 20 (6) (2012)
Steffen Lewitzka
On some many-valued abstract logics and their Epsilon-T-style extensions CoRR (2012)
Steffen Lewitzka
: a Non-Fregean Logic of Explicit Knowledge. Stud Logica 97 (2) (2011)
Steffen Lewitzka, Andreas Bernhard Michael Brunner
Minimally Generated Abstract Logics. Logica Universalis 3 (2) (2009)
Steffen Lewitzka
: An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity. Notre Dame J. Formal Log. 50 (3) (2009)
Steffen Lewitzka
Abstract Logics, Logic Maps, and Logic Homomorphisms. Logica Universalis 1 (2) (2007)
Steffen Lewitzka, Ruy J. G. B. de Queiroz
On dividing chains in simple theories. Arch. Math. Log. 44 (7) (2005)