arXiv subjects

Yoshihito Tanaka

Publications and source records attributed to Yoshihito Tanaka.

12 recordsLinked to original sources

arXiv2026

A proof system for the positive fragment of GL

In this paper, we present a proof system $\mathsf{GL}_{+}^{\top\bot}$, which is based on a sequent system $\mathsf{K}_{+}^{\top\bot}$ given by Dunn, for the positive fragment of $\mathsf{GL}$. Positive modal formulas are modal formulas that contain neither negation symbols nor implication symbols. More precisely, they are modal formulas constructed from the connectives $\lor$, $\land$, $\Diamond$, $\Box$, $\bot$, $\top$, and propositional variables. The logic $\mathsf{GL}$ is the least normal modal logic that contains $\mathsf{K}$ and the Löb formula $\Box(\Box p\supset p)\supset\Box p$. Following Dunn, a sequent is an expression of the form $ϕ\vdashψ$, where $ϕ$ and $ψ$ are positive modal formulas. We present a proof system $\mathsf{GL}_{+}^{\top\bot}$ for sequents with the property that a sequent $ϕ\vdashψ$ is provable in $\mathsf{GL}_{+}^{\top\bot}$, if and only if $ϕ\supsetψ$ is provable in $\mathsf{GL}$.

math.LO↗

arXiv2026

Neighborhood and algebraic models for predicate modal logics with $ω$-rules

This paper investigates neighborhood and algebraic models for predicate modal logics with $ω$-rules, including non-normal cases. We establish sufficient conditions under which such logics have neighborhood models with constant domains and satisfy the completeness theorem with respect to neighborhood frames with constant domains. Related results for normal modal logics with $ω$-rules were obtained by Tanaka, while similar results for non-normal modal logics without $ω$-rules were presented by Arló-Costa and Pacuit and by Tanaka. The results presented here extend these works. As applications, we prove that a predicate extension of GL is sound and complete with respect to a class of neighborhood frames with constant domains, and that a predicate common knowledge logic is Kripke incomplete but neighborhood complete.

math.LO↗

arXiv2025

Models for the common knowledge logic

In this paper, we discuss models of the common knowledge logic. The common knowledge logic is a multi-modal logic that includes the modal operators $\mathsf{K}_{i}$ ($i\in\mathcal{I}$, where $\mathcal{I}$ is a finite set of agents) and $\mathsf{C}$ in the language. The intended meanings of $\mathsf{K}_{i}ϕ$ ($i\in\mathcal{I}$) and $\mathsf{C}ϕ$ are ''the agent $i$ knows $ϕ$'' ($i\in\mathcal{I}$) and ''$ϕ$ is common knowledge among $\mathcal{I}$'', respectively. Semantically, this can be expressed as follows: $\mathsf{C}ϕ$ is true if and only if all of $ϕ$, $\mathsf{E}ϕ$, $\mathsf{E}^{2}ϕ$, $\mathsf{E}^{3}ϕ,\ldots$ are true, where $\mathsf{E}ϕ=\bigwedge_{i\in\mathcal{I}}\mathsf{K}_{i}ϕ$. A Kripke frame that satisfies the condition is $\langle W,R_{\mathsf{K}_{i}} (i\in\mathcal{I}), R_{\mathsf{C}}\rangle$, where $R_{\mathsf{C}}$ is the reflexive and transitive closure of $R_{\mathsf{E}}=\bigcup_{i\in\mathcal{I}}R_{\mathsf{K}_{i}}$. We refer to such Kripke frames as CKL-frames. An algebra that satisfies the condition is a modal algebra with modal operators $\mathrm{K}_{i}$ ($i\in\mathcal{I}$) and $\mathrm{C}$, which satisfies that $\mathrm{C}x\leq x$, $\mathrm{C} x\leq\mathrm{E}\mathrm{C} x$, and $\mathrm{C} x$ is the greatest lower bound of the set $\{\mathrm{E}^{n} x\mid n\inω\}$, where $\mathrm{E} x=\bigwedge_{i\in\mathcal{I}} \mathrm{K}_{i} x$. We refer to such modal algebras as CKL-algebras. In this paper, we show that the class of CKL-frames is modally definable, whereas the class of CKL-algebras is not. That is, the class of CKL-algebras does not form a variety, and there exists a modal algebra in which the common knowledge logic is valid, but $\mathrm{C}x$ is not the greatest lower bound of the set $\{\mathrm{E}^{n} x\mid n\inω\}$.

math.LO↗

arXiv2025

All-optical magnetization reversal via x-ray magnetic circular dichroism

Light polarization is one of the most fundamental features, equivalent to energy and coherence. Magnetism changes light polarization, and vice versa. The irradiation of intense circularly polarized femtosecond pules to magnetic materials can alter the magnetic orders and elementary excitations, particularly in the visible to infrared spectral regions. Furthermore, the recent development of x-ray free-electron laser enables the element-specific trace of the ultrafast dynamics with high time and spatial resolution. However, the light helicity of x-ray photons has not yet been used to control order parameters in condensed matter materials, not limited to such magnetic phenomenon. Here, we demonstrate the deterministic magnetization reversal of a ferromagnetic Pt/Co/Pt multilayer solely by irradiating femtosecond pulses of circularly polarized hard x-rays. The observed all-optical magnetization switching depends on the helicity of incident x-ray pulses and is strongly resonant with the photon energy at the Pt $L_3$ edge. These results originate in the x-ray magnetic circular dichroism of Pt, involving helicity-dependent excitation from the 2$p_{3/2}$ core level to the exchange-split 5$d$ valence states owing to the magnetic proximity effect with Co. These findings mark a new frontier for examining interactions between light and matter in the x-ray region.

cond-mat.mtrl-sci↗

arXiv2023

An $ω$-rule for the logic of provability and its models

In this paper, we discuss a proof system $\mathsf{NGL}$ for the logic $\mathbf{GL}$ of provability, which is equipped with an $ω$-rule. We show the three classes of transitive Kripke frames, the class which strongly validates the $ω$-rule, the class which weakly validates the $ω$-rule, and the class which is defined by the Löb formula, are mutually different, while all of them characterize $\mathbf{GL}$. This gives an example of a proof system $P$ and a class $C$ of Kripke frames such that $P$ is sound with respect to $C$ but the soundness cannot be proved by simple induction on the height of the derivations in $P$. We also show Kripke completeness of $\mathsf{NGL}$ in an algebraic manner. As a corollary, we show that the class of modal algebras which is defined by equations $\Box x\leq\Box\Box x$ and $\bigwedge_{n\inω}\Diamond^{n}1=0$ is not a variety.

math.LO↗

arXiv2023

An extension of Jónsson-Tarski representation and model existence in predicate non-normal modal logics

In this paper, we give an extension of the Jónsson-Tarski representation theorem for both normal and non-normal modal algebras so that it preserves countably many infinitary meets and joins. To extend the Jónsson-Tarski representation to non-normal modal algebras we consider neighborhood frames instead of Kripke frames just as Došen's duality theorem for modal algebras, and to deal with infinite meets and joins, we make use of Q-filters instead of prime filters. Then, we show that every predicate modal logic, whether it is normal or non-normal, has a model defined on a neighborhood frame with constant domains, and give completeness theorem for some predicate modal logics. We also show the same results for infinitary modal logics.

math.LO↗

arXiv2021

Photoemission from the gas phase using soft x-ray fs pulses: An investigation of the space-charge effects

An experimental and computational investigation of the space-charge effects occurring in ultrafast photoelectron spectroscopy from the gas phase is presented. The target sample CF$_3$I is excited by ultrashort (100 fs) far-ultraviolet radiation pulses produced by a free-electron laser. The modification of the energy distribution of the photoelectrons, i.e. the shift and broadening of the spectral structures, is monitored as a function of the pulse intensity. The experimental results are compared with computational simulations which employ a Barnes-Hut algorithm to calculate the effect of individual Coulomb forces acting among the particles. In the presented model, a survey spectrum acquired at low radiation fluence is used to determine the initial energy distribution of the electrons after the photoemission event. The spectrum modified by the space-charge effects is then reproduced by $N$-body calculations that simulate the dynamics of the photoelectrons subject to the individual mutual Coulomb repulsion and to the attractive force of the positive ions. The employed numerical method accounts for the space-charge effects on the energy distribution and allows to reproduce the complete photoelectron spectrum and not just a specific photoemission structure. The simulations also provide information on the time evolution of the space-charge effects on the picosecond scale. Differences with the case of photoemission from solid samples are highlighted and discussed. The presented simulation procedure, although it omits the analysis of angular distribution, constitutes an effective simplified model that allows to predict and account for space-charge effects on the photoelectron energy spectrum in time-resolved photoemission experiments with high-intensity pulsed sources.

physics.ins-det↗

arXiv2020

Duality for $κ$-additive complete atomic modal algebras

In this paper, we give a duality theorem between the category of $κ$-additive complete atomic modal algebras and the category of $κ$-downward directed multi-relational Kripke frames, for any cardinal number $κ$. Multi-relational Kripke frames are not Kripke frames for multi-modal logic, but frames for monomodal logics in which the modal operator $\Diamond$ does not distribute over (possibly infinite) disjunction, in general. We first define homomorphisms of multi-relational Kripke frames, and then show the equivalence between the category of $κ$-downward directed multi-relational Kripke frames and the category $κ$-complete neighborhood frames, from which the duality theorem follows. We also present another direct proof of this duality based on the technique given by Minari.

math.LO↗

arXiv2019

Transient quantum isolation and critical behavior in the magnetization dynamics of half-metallic manganites

We combine time resolved pump-probe Magneto-Optical Kerr Effect and Photoelectron Spectroscopy experiments supported by theoretical analysis to determine the relaxation dynamics of delocalized electrons in half-metallic ferromagnetic manganite $La_{1-x}Sr_{x}MnO_{3}$. We observe that the half-metallic character of $La_{1-x}Sr_{x}MnO_{3}$ determines the timescale of both the electronic phase transition and the quenching of magnetization, revealing a quantum isolation of the spin system in double exchange ferromagnets extending up to hundreds of picoseconds. We demonstrate the use of time-resolved hard X-ray photoelectron spectroscopy (TR-HAXPES) as a unique tool to single out the evolution of strongly correlated electronic states across a second-order phase transition in a complex material.

cond-mat.str-el↗

arXiv2019

Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators

Our concern is the completeness problem for spi-logics, that is, sets of implications between strictly positive formulas built from propositional variables, conjunction and modal diamond operators. Originated in logic, algebra and computer science, spi-logics have two natural semantics: meet-semilattices with monotone operators providing Birkhoff-style calculi, and first-order relational structures (aka Kripke frames) often used as the intended structures in applications. Here we lay foundations for a completeness theory that aims to answer the question whether the two semantics define the same consequence relations for a given spi-logic.

cs.LO↗

arXiv2018

Ultrafast demagnetization of Pt magnetic moment in L1${}_0$-FePt probed by hard x-ray free electron laser

We demonstrate ultrafast magnetization dynamics in a 5d transition metal using circularly-polarized x-ray free electron laser in the hard x-ray region. A decay time of light-induced demagnetization of L1${}_0$-FePt was determined to be $τ_\textrm{Pt} = 0.6\ \textrm{ps}$ using time-resolved x-ray magnetic circular dichroism at the Pt L${}_3$ edge, whereas magneto-optical Kerr measurements indicated the decay time for total magnetization as $τ_\textrm{total} = 0.1\ \textrm{ps}$. A transient magnetic state with the photo-modulated magnetic coupling between the 3d and 5d elements is firstly demonstrated.

cond-mat.mtrl-sci↗

arXiv2018

A cut-free proof system for a predicate extension of the logic of provability

In this paper, we introduce a proof system $\mathsf{NQGL}$ for a Kripke complete predicate extension of the logic $\mathbf{GL}$, that is, the logic of provability, which is defned by $\mathbf{K}$ and the Löb formula $\Box(\Box p\supset p)\supset\Box p$. $\mathsf{NQGL}$ is a modal extension of Gentzen's sequent calculus $\mathsf{LK}$. Although the propositional fragment of $\mathsf{NQGL}$ axiomatizes $\mathbf{GL}$, it does not have the Löb formula as its axiom. Instead, it has a non-compact rule, that is, a derivation rule with countably many premises. We show that $\mathsf{NQGL}$ enjoys cut admissibility and is complete with respect to the class of Kripke frames such that for each world, the supremum of the length of the paths from the world is finite.

math.LO↗