Publications
Export 296 results:
A flexible type system for the small Veblen ordinal. (Submitted).
: : : : A combinatorial bound for a restricted form of the Termination Theorem. In: A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Springer (In Press).
: A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem. The Journal of Symbolic Logic. 1-14 (2018).
: A Logic of Blockchain Updates. In: Logical Foundations of Computer Science. pp. 107-119. Springer International Publishing, Cham (2018).
: Feferman on Foundations: Logic, Mathematics, Philosophy. Springer International Publishing (2018).
: The Operational Penumbra: Some Ontological Aspects. Feferman on Foundations - Logic, Mathematics, Philosophy. Springer International Publishing (2018).
: The Proof Theory of Common Knowledge. In: Jaakko Hintikka on knowledge and game theoretical semantics. Springer (2018).
: The strength of SCT soundness. Journal of Logic and Computation. (2018).
: Unfolding schematic systems. In: Feferman on Foundations - Logic, Mathematics, Philosophy. Springer (2018).
: A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities. In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings. pp. 491-500. Springer International Publishing, Cham (2017).
: : : Expressivity in Chain-Based Modal Logics. Archive for Mathematical Logic. 57, 361-380 (2017).
: Generic Large Cardinals and Systems of Filters. The Journal of Symbolic Logic. 82, 860-892 (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).
: Temporal Justification Logic. In: Proceedings of the Ninth Workshop on Methods for Modalities, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017. pp. 59-74. Open Publishing Association (2017).
: The Strength of the SCT Criterion. In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings. pp. 260-273 (2017).
: Theory and Applications of Models of Computation TAMC 2017. Springer International Publishing, Cham (2017).
: A canonical model construction for intuitionistic distributed knowledge. In: Advances in Modal Logic 2016. College Publications (2016).
: Advances in Proof Theory. Birkhäuser (2016).
: