collaborators

1 paper

math.LO2025

Effective Completeness for S4.3.1-Theories with Respect to Discrete Linear Models

David Nichols

The computable model theory of modal logic was initiated by Suman Ganguli and Anil Nerode in [4]. They use an effective Henkin-type construction to effectivize various completeness…