output
19982026
most citedGas density and X-ray surface brightness profiles of clusters of galaxies from dark matter halo potentials: beyond the isothermal beta model

112 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.LOShow all

2 papers · 1 filter

cs.LO2026

Decidability of Quantum Modal Logic

Kenji Tokuo

The decidability of a logical system refers to the existence of an algorithm that can determine whether any given formula in that system is a theorem. In this paper, Harrop's lemma…

cs.LO2025★ 2 cited

Quantum modal logic

Kenji Tokuo

A modal logic based on quantum logic is formalized in its simplest possible form. Specifically, a relational semantics and a sequent calculus are provided, and the soundness and th…