# Publications

Export 120 results:
Filters: Type is Journal Article  [Clear All Filters]
In Press
: A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem. Journal of Symbolic Logic. (In Press).
: Expressivity in Chain-Based Modal Logics. Archive for Mathematical Logic. (In Press).
: Generic Large Cardinals and Systems of Filters. Journal of Symbolic Logic. (In Press).
2017
: Logics with lower and upper probability operators. International Journal of Approximate Reasoning. 88, 148 - 168 (2017).
: Ramsey's Theorem for Pairs and k Colors as a Sub-Classical Principle of Arithmetic. Journal of Symbolic Logic. 82, 737-753 (2017).
2016
: Intuitionistic common knowledge or belief. Journal of Applied Logic. 18, (2016).
: Intuitionistic modal logic made explicit. IfCoLog Journal of Logics and their Applications. 3, 877-901 (2016).
Jäger, G.: Relativizing operational set theory. The Bulletin of Symbolic Logic. 22, 332-352 (2016).
: Reverse mathematical bounds for the Termination Theorem. Annals of Pure and Applied Logic. (2016).
: Weak arithmetical interpretations for the Logic of Proofs. Logic Journal of IGPL. 24, 424-440 (2016).
2014
Eberhard, S.: A feasible theory of truth over combinatory algebra. Annals of Pure and Applied Logic. 165, 1009-1033 (2014).
: A note on the theory $\mathsf{SID}_{{<}\omega}$ of stratified induction. Mathematical Logic Quarterly. 60, 487-497 (2014).
: Censors for Boolean Description Logic. Transactions on Data Privacy. 7, 223-252 (2014).
: Explicit mathematics and operational set theory: some ontological comparisons. The Bulletin of Symbolic Logic. 20, 275-292 (2014).
Sato, K.: Forcing for Hat Inductive Definitions in Arithmetic – One of the Simplest Applications of Forcing –. Mathematical Logic Quarterly. 60, 314-318 (2014).
: From hierarchies to well-foundedness. Archive for Mathematical Logic. 53, (2014).