The One Page Model Checker
The parallel versus branching recurrences in computability logic
The prospects for mathematical logic in the twenty-first century
The Question of Expressiveness in the Generation of Referring Expressions
The Rank of Tree-Automatic Linear Orderings
The recognizability of sets of graphs is a robust property
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings)
The role of semantics in mining frequent patterns from knowledge bases in description logics with rules
The Semantics of Graph Programs
The Set of Equations to Evaluate Objects
The space of measurement outcomes as a spectrum for non-commutative algebras
The Standard Aspect of Dialectical Logic
The Star Height Hierarchy Vs. The Variable Hierarchy
The strength of replacement in weak arithmetic
The Structure of Differential Invariants and Differential Cut Elimination
The structure of finite meadows
The Structure of First-Order Causality
The Structure of First-Order Causality (extended version)
The Structure of Information
The succinctness of first-order logic on linear orders