Steffen Lewitzka

27 papers Journal 27

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Belief, knowledge and evidence. CoRR Steffen Lewitzka, Vinícius Pinto
2023	J	`jnl`	Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity. J. Log. Lang. Inf. Steffen Lewitzka
2021	J	`jnl`	Access-based intuitionistic knowledge. J. Log. Comput. Steffen Lewitzka
2021	J	`jnl`	Some remarks on semantics and expressiveness of the Sentential Calculus with Identity. CoRR Steffen Lewitzka
2020	J	`jnl`	Access-based Intuitionistic Knowledge. CoRR Steffen Lewitzka
2019	J	`jnl`	Reasoning about proof and knowledge. Ann. Pure Appl. Log. Steffen Lewitzka
2017	J	`jnl`	A modal logic amalgam of classical and intuitionistic propositional logic. J. Log. Comput. Steffen Lewitzka
2017	J	`jnl`	Epistemic extensions of combined classical and intuitionistic propositional logic. Log. J. IGPL Steffen Lewitzka
2017	J	`jnl`	Reasoning about proof and knowledge. CoRR Steffen Lewitzka
2017	J	`jnl`	Topological Representation of Intuitionistic and Distributive Abstract Logics. Logica Universalis Andreas Bernhard Michael Brunner, Steffen Lewitzka
2016	J	`jnl`	Algebraic semantics for a modal logic close to S1. J. Log. Comput. Steffen Lewitzka
2016	J	`jnl`	Epistemic extensions of combined classical and intuitionistic propositional logic. CoRR Steffen Lewitzka
2015	J	`jnl`	Combining intermediate propositional logics with classical logic. CoRR Steffen Lewitzka
2015	J	`jnl`	Denotational Semantics for Modal Systems S3-S5 Extended by Axioms for Propositional Quantifiers and Identity. Stud Logica Steffen Lewitzka
2015	J	`jnl`	Topological representation of intuitionistic and distributive abstract logics. CoRR Andreas Bernhard Michael Brunner, Steffen Lewitzka
2013	J	`jnl`	A denotational semantics for a Lewis-style modal system close to S1 CoRR Steffen Lewitzka
2013	J	`jnl`	A modal logic amalgam of classical and intuitionistic propositional logic. CoRR Steffen Lewitzka
2012	J	`jnl`	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 Steffen Lewitzka
2012	J	`jnl`	Denotational semantics for normal modal logics with propositional quantifiers and identity CoRR Steffen Lewitzka
2012	J	`jnl`	Necessity as justified truth CoRR Steffen Lewitzka
2012	J	`jnl`	On some many-valued abstract logics and their Epsilon-T-style extensions CoRR Steffen Lewitzka
2012	J	`jnl`	Semantically closed intuitionistic abstract logics. J. Log. Comput. Steffen Lewitzka
2011	J	`jnl`	Î Stud Logica Steffen Lewitzka
2009	J	`jnl`	Minimally Generated Abstract Logics. Logica Universalis Steffen Lewitzka, Andreas Bernhard Michael Brunner
2009	J	`jnl`	∈ Notre Dame J. Formal Log. Steffen Lewitzka
2007	J	`jnl`	Abstract Logics, Logic Maps, and Logic Homomorphisms. Logica Universalis Steffen Lewitzka
2005	J	`jnl`	On dividing chains in simple theories. Arch. Math. Log. Steffen Lewitzka, Ruy J. G. B. de Queiroz