works on
astronomy instrumentation 1exoplanet biosignatures 1habitable worlds observatory 1high-contrast imaging 1ultraviolet spectroscopy 1

From the 1 of 23 papers with an AI index.

most citedModeling spectra of MN112

8 citations

researchers with a paper here
collaborating institutions
Showing math.LOShow all

1 paper · 1 filter

math.LO2026

The Monadic Grzegorczyk Logic

Guram Bezhanishvili, Mashiath Khan

We develop a semantic criterion for determining whether a given monadic modal logic axiomatizes the one-variable fragment of a predicate modal logic. We show that the criterion app…