Author

R. Andrieu

h-index 0 View on Semantic Scholar

We have 1 of 4 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?

This work constructs paired modal problems with identical premises and conjecture but different frame or domain conditions; automated reasoning verifies opposite labels and releases the formulas, oracle artifacts, countermodels, and responses.

R. Andrieu, Damien Sileo · 0 citations