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

Réemi Andrieu, Damien Sileo

Reasoning about necessity and possibility depends on assumptions about accessibility between worlds and about which objects exist at each one. The same inference may therefore hold…