Steffen Lewitzka

Available identifiers

Publication	Date of Publication	Type
Some remarks on semantics and expressiveness of the sentential calculus with identity	2023-08-14	Paper
Access-based intuitionistic knowledge	2021-04-09	Paper
Epistemic extensions of combined classical and intuitionistic propositional logic	2019-01-08	Paper
Reasoning about proof and knowledge	2018-11-29	Paper
Topological representation of intuitionistic and distributive abstract logics	2017-08-24	Paper
A modal logic amalgam of classical and intuitionistic propositional logic	2017-05-17	Paper
Algebraic semantics for a modal logic close to S1	2017-01-31	Paper
Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity	2015-06-26	Paper
Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate	2013-04-17	Paper
Minimally generated abstract logics	2013-01-25	Paper
On some many-valued abstract logics and their Epsilon-T-style extensions	2012-09-24	Paper
Semantically closed intuitionistic abstract logics	2012-06-20	Paper
\(\in_K\): a non-Fregean logic of explicit knowledge	2011-03-31	Paper
\(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity	2010-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q3520837	2008-08-26	Paper
Abstract logics, logic maps, and logic homomorphisms	2008-02-15	Paper
On dividing chains in simple theories	2005-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q5311055	2005-08-22	Paper

This page was built for person: Steffen Lewitzka