arXiv subjects

Valentin Müller

Publications and source records attributed to Valentin Müller.

3 recordsLinked to original sources

arXiv2026

Labelled Sequent Calculi for Propositional Team Logics

Team semantics is a general framework where formulas are not interpreted with respect to a single point of evaluation, but with respect to sets of such points. Team semantics is used in dependence logic, to reason about dependencies between variables, and in inquisitive logic, to formalize the meaning of questions. We provide sound and complete labelled sequent calculi for four logics based on team semantics: basic inquisitive logic, propositional intuitionistic dependence logic, and their respective extensions with tensor disjunction. For technical reasons, we restrict ourselves to languages with finitely many propositional atoms. The rules of weakening, contraction and cut are shown to be admissible in each of our calculi. In the last part of the paper, we present terminating proof search procedures for variants of our proof systems, in which labels have a simplified structure.

cs.LO↗

arXiv2025

Hypergraph Semantics for Doxastic Logics

Simplicial models have become a crucial tool for studying distributed computing. These models, however, are only able to account for the knowledge, but not for the beliefs of agents. We present a new semantics for logics of belief. Our semantics is based on directed hypergraphs, a generalization of ordinary directed graphs in which edges are able to connect more than two vertices. Directed hypergraph models preserve the characteristic features of simplicial models for epistemic logic, while also being able to account for the beliefs of agents. We provide systems of both consistent belief and merely introspective belief. The completeness of our axiomatizations is established by the construction of canonical hypergraph models. We also present direct conversions between doxastic Kripke models and directed hypergraph models.

cs.LO↗

arXiv2025

Effects of Hydrogen Transport on the Kinetic Regimes of 4-Nitrophenol Reduction by Sodium Borohydride

The reduction of 4-nitrophenol (4-NiP) with sodium borohydride is widely used to benchmark heterogeneous catalysts, yet its kinetics are commonly oversimplified as pseudo-first-order. In reality, borohydride hydrolysis and hydrogenation by dissolved hydrogen proceed concurrently, making hydrogen transport a decisive factor in shaping apparent activity. Re-examining data on Pt-SiO2 supraparticles with different pore structures, we attribute contrasting kinetic behavior to distinct regimes of hydrogen transport: diffusive transport sustains pseudo-first-order kinetics, while bubble-mediated escape causes hydrogen loss and incomplete conversion. We propose a kinetic model that captures this transition and enables consistent interpretation of experimental data. More broadly, our analysis shows that apparent differences in activity during 4-NiP benchmarking can arise from hydrogen transport rather than intrinsic properties of the catalyst, underscoring the need to account for transport effects when comparing catalyst performance.

physics.chem-ph↗