## Lewitzka, Steffen

Compute Distance To:
 Author ID: lewitzka.steffen Published as: Lewitzka, Steffen
 Documents Indexed: 16 Publications since 2005 Co-Authors: 2 Co-Authors with 3 Joint Publications 42 Co-Co-Authors

### Co-Authors

 13 single-authored 2 Brunner, Andreas Bernhard Michael 1 De Queiroz, Ruy José Guerra Barretto
all top 5

### Serials

 4 Journal of Logic and Computation 3 Logica Universalis 2 Studia Logica 2 Logic Journal of the IGPL 1 Notre Dame Journal of Formal Logic 1 Annals of Pure and Applied Logic 1 Archive for Mathematical Logic

### Fields

 16 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX)

### Citations contained in zbMATH Open

9 Publications have been cited 20 times in 8 Documents Cited by Year
$$\in_K$$: a non-Fregean logic of explicit knowledge. Zbl 1231.03016
Lewitzka, Steffen
2011
Abstract logics, logic maps, and logic homomorphisms. Zbl 1131.03006
Lewitzka, Steffen
2007
$$\in_I$$: an intuitionistic logic without Fregean axiom and with predicates for truth and falsity. Zbl 1190.03016
Lewitzka, Steffen
2009
Minimally generated abstract logics. Zbl 1255.03022
Lewitzka, Steffen; Brunner, Andreas B. M.
2009
A topological approach to universal logic: model-theoretical abstract logics. 2nd revised ed. Zbl 1143.03355
Lewitzka, Steffen
2007
Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate. Zbl 1283.03058
Lewitzka, Steffen
2012
Denotational semantics for modal systems S3–S5 extended by axioms for propositional quantifiers and identity. Zbl 1371.03026
Lewitzka, Steffen
2015
Algebraic semantics for a modal logic close to S1. Zbl 1396.03032
Lewitzka, Steffen
2016
A modal logic amalgam of classical and intuitionistic propositional logic. Zbl 1444.03066
Lewitzka, Steffen
2017
A modal logic amalgam of classical and intuitionistic propositional logic. Zbl 1444.03066
Lewitzka, Steffen
2017
Algebraic semantics for a modal logic close to S1. Zbl 1396.03032
Lewitzka, Steffen
2016
Denotational semantics for modal systems S3–S5 extended by axioms for propositional quantifiers and identity. Zbl 1371.03026
Lewitzka, Steffen
2015
Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate. Zbl 1283.03058
Lewitzka, Steffen
2012
$$\in_K$$: a non-Fregean logic of explicit knowledge. Zbl 1231.03016
Lewitzka, Steffen
2011
$$\in_I$$: an intuitionistic logic without Fregean axiom and with predicates for truth and falsity. Zbl 1190.03016
Lewitzka, Steffen
2009
Minimally generated abstract logics. Zbl 1255.03022
Lewitzka, Steffen; Brunner, Andreas B. M.
2009
Abstract logics, logic maps, and logic homomorphisms. Zbl 1131.03006
Lewitzka, Steffen
2007
A topological approach to universal logic: model-theoretical abstract logics. 2nd revised ed. Zbl 1143.03355
Lewitzka, Steffen
2007
all top 5

### Cited by 7 Authors

 5 Lewitzka, Steffen 2 Brunner, Andreas Bernhard Michael 1 Golińska-Pilarek, Joanna 1 Huuskonen, Taneli 1 Paseau, Alexander Christopher 1 Wallmann, Christian 1 Zawidzki, Michał

### Cited in 4 Serials

 3 Logica Universalis 2 Studia Logica 1 Annals of Pure and Applied Logic 1 The Review of Symbolic Logic

### Cited in 3 Fields

 8 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Computer science (68-XX)