14 citations
2 papers
astro-ph.EP2017★ 14 cited
The scattering outcomes of Kepler circumbinary planets: planet mass ratio
Yan-Xiang Gong, Jianghui Ji
Recent studies reveal that the free eccentricities of Kepler-34b and Kepler-413b are much larger than their forced eccentricities, implying that the scattering events may take plac…
math.LO2016★ 4 cited
Algorithmic Correspondence and Canonicity for Possibility Semantics
Zhiguang Zhao
The present paper develops a unified correspondence treatment of the Sahlqvist theory for possibility semantics, extending the results in \cite{Ya16} from Sahlqvist formulas to the…