Steffen Lewitzka

From MaRDI portal
(Redirected from Person:633159)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Some remarks on semantics and expressiveness of the sentential calculus with identity
Journal of Logic, Language and Information
2023-08-14Paper
Access-based intuitionistic knowledge
Journal Of Logic And Computation
2021-04-09Paper
Epistemic extensions of combined classical and intuitionistic propositional logic
Logic Journal of the IGPL
2019-01-08Paper
Reasoning about proof and knowledge
Annals of Pure and Applied Logic
2018-11-29Paper
Topological representation of intuitionistic and distributive abstract logics
Logica Universalis
2017-08-24Paper
A modal logic amalgam of classical and intuitionistic propositional logic
Journal Of Logic And Computation
2017-05-17Paper
Algebraic semantics for a modal logic close to S1
Journal Of Logic And Computation
2017-01-31Paper
Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity
Studia Logica
2015-06-26Paper
Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate
Logic Journal of the IGPL
2013-04-17Paper
Minimally generated abstract logics
Logica Universalis
2013-01-25Paper
On some many-valued abstract logics and their Epsilon-T-style extensions2012-09-24Paper
Semantically closed intuitionistic abstract logics
Journal of Logic and Computation
2012-06-20Paper
\(\in_K\): a non-Fregean logic of explicit knowledge
Studia Logica
2011-03-31Paper
\(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity
Notre Dame Journal of Formal Logic
2010-01-13Paper
scientific article; zbMATH DE number 5316602 (Why is no real title available?)2008-08-26Paper
Abstract logics, logic maps, and logic homomorphisms
Logica Universalis
2008-02-15Paper
On dividing chains in simple theories
Archive for Mathematical Logic
2005-11-24Paper
scientific article; zbMATH DE number 2196608 (Why is no real title available?)2005-08-22Paper


Research outcomes over time


This page was built for person: Steffen Lewitzka