Selected work

Representative Papers

Maehara Interpolation in Extensions of R-mingle

Dec 04, 2025

This paper addresses the decidability problem of the Maehara interpolation property for expansions of R-mingle logic. Using algebraic logic methods, it systematically characterizes the equivalence among amalgamation, relative congruence extension, and transitive injectivity within the quasivariety of Sugihara algebras, and identifies and fully classifies five classes of amalgamable quasivarieties. Building on this, it establishes that, in any expansion of R-mingle logic, the Maehara interpolation property is strictly equivalent to the Robinson property. This equivalence directly yields a decidability result for interpolation in finitely axiomatizable R-mingle expansions. Consequently, the paper achieves the first complete structural characterization and effective decidability of the interpolation property across the entire family of R-mingle expansions.

0 citationsRead paper

A novel nonparametric framework for DIF detection using kernel-smoothed item response curves

Nov 24, 2025

When conventional parametric item response models are misspecified, detecting differential item functioning (DIF) for binary items becomes challenging. To address this, we propose a nonparametric DIF detection method based on kernel smoothing. Our approach directly estimates and compares item response curves (IRCs) across groups without assuming any specific parametric item response model. We develop a novel nonparametric testing framework tailored to binary responses, derive an analytical expression for the asymptotic variance, design an optimal weighting function, and employ wild bootstrap for robust statistical inference. Simulation studies demonstrate that the method maintains well-controlled Type I error rates and achieves substantially higher statistical power than logistic regression—particularly under complex scenarios such as multiple IRC crossings. Empirical analysis further reveals that our method successfully identifies subtle DIF patterns overlooked by standard parametric models.

0 citationsRead paper

Agent Interpolation for Knowledge

May 29, 2025

Establishing foundational metatheoretic properties—particularly decidability, finite model property, and interpolation—for multi-agent S5 modal logic with agent alternation. Method: We introduce a novel proof system that integrates hypersequential and nested sequential structures, uniformly capturing both S5 modal reasoning and T-type agent alternation. The system is cut-free, sound, complete, and terminating. Contribution/Results: We rigorously establish decidability and the finite model property for the logic. This work delivers the first proof of Lyndon interpolation for multi-agent S5—including agent symbols—and achieves joint interpolation over both agent atoms and propositional atoms in the common language; Craig interpolation follows as a corollary. Furthermore, we identify and analyze fundamental obstructions to extending these results to distributed knowledge logic and to realizing deductive interpolation.

0 citationsRead paper

Recent publications

Latest Papers

Maehara Interpolation in Extensions of R-mingle

Dec 04, 2025

This paper addresses the decidability problem of the Maehara interpolation property for expansions of R-mingle logic. Using algebraic logic methods, it systematically characterizes the equivalence among amalgamation, relative congruence extension, and transitive injectivity within the quasivariety of Sugihara algebras, and identifies and fully classifies five classes of amalgamable quasivarieties. Building on this, it establishes that, in any expansion of R-mingle logic, the Maehara interpolation property is strictly equivalent to the Robinson property. This equivalence directly yields a decidability result for interpolation in finitely axiomatizable R-mingle expansions. Consequently, the paper achieves the first complete structural characterization and effective decidability of the interpolation property across the entire family of R-mingle expansions.

0 citationsRead paper

A novel nonparametric framework for DIF detection using kernel-smoothed item response curves

Nov 24, 2025

When conventional parametric item response models are misspecified, detecting differential item functioning (DIF) for binary items becomes challenging. To address this, we propose a nonparametric DIF detection method based on kernel smoothing. Our approach directly estimates and compares item response curves (IRCs) across groups without assuming any specific parametric item response model. We develop a novel nonparametric testing framework tailored to binary responses, derive an analytical expression for the asymptotic variance, design an optimal weighting function, and employ wild bootstrap for robust statistical inference. Simulation studies demonstrate that the method maintains well-controlled Type I error rates and achieves substantially higher statistical power than logistic regression—particularly under complex scenarios such as multiple IRC crossings. Empirical analysis further reveals that our method successfully identifies subtle DIF patterns overlooked by standard parametric models.

0 citationsRead paper

Agent Interpolation for Knowledge

May 29, 2025

Establishing foundational metatheoretic properties—particularly decidability, finite model property, and interpolation—for multi-agent S5 modal logic with agent alternation. Method: We introduce a novel proof system that integrates hypersequential and nested sequential structures, uniformly capturing both S5 modal reasoning and T-type agent alternation. The system is cut-free, sound, complete, and terminating. Contribution/Results: We rigorously establish decidability and the finite model property for the logic. This work delivers the first proof of Lyndon interpolation for multi-agent S5—including agent symbols—and achieves joint interpolation over both agent atoms and propositional atoms in the common language; Craig interpolation follows as a corollary. Furthermore, we identify and analyze fundamental obstructions to extending these results to distributed knowledge logic and to realizing deductive interpolation.

0 citationsRead paper