No abstract uploaded!

Resolution Matrix Semantics (RMS) introduces a novel truth-value-based framework for modal logic, providing a substantive alternative to Kripke’s relational semantics of possible worlds. Drawing inspiration from Y. Ivlev’s substantive semantics, RMS utilizes a 4-valued structure—necessary truth (tn), contingent truth (tc), contingent false (fc), and necessary false (fn)—augmented by indeterminate values (t, f, t/f) to define modal systems Km, KDm, KTm, S4m, and S5m, analogous to Kripke’s K, KD, T, S4, and S5. By directly assigning determined and indeterminate truth values via an interpretation function, RMS validates formulas without relying on accessibility relations, as demonstrated through soundness and completeness proofs and a tailored tableau method. The framework’s versatility extends to applications in deontic logic, artificial intelligence, and quantum computing, enabling context-dependent reasoning with computational efficiency. RMS thus bridges philosophical logic and practical domains, offering a truth-centric perspective on modal reasoning’s complexities.

We find a concise relation between the moduli $\tau , \rho$ of a rational Narain lattice $\Gamma (\tau, \rho)$ and the corresponding momentum lattices of left and right chiral algebras via the Gauss product. As a byproduct, we find an identity which counts the cardinality of a certain double coset space defined for isometries between the discriminant forms of rank two lattices.

No abstract uploaded!

For a fractal Schrodinger operator with a continuous potential and a coupling parameter, we obtain an analog of a semi-classical asymptotic formula for the number of bound states as the parameter tends to infinity. We also study Bohr's formula for Schrodinger operators on blowups of self-similar sets. For a Schrodinger operator defined by a fractal measure and a locally bounded potential that tends to infinity, we derive an analog of Bohr's formula under various assumptions. We demonstrate how these results can be applied to self-similar measures with overlaps, including the infinite Bernoulli convolution associated with the golden ratio, a family of convolutions of Cantor-type measures, and a family of measures that we call essentially of finite type.