Abstract
In the substitutional framework, validity is truth under all substitutions of the nonlogical vocabulary. I develop a theory where □ is interpreted as substitutional validity. I show how to prove soundness and completeness for common modal calculi using this definition.
Citation
Marco Grossi. "Substitutional Validity for Modal Logic." Notre Dame J. Formal Logic 64 (3) 291 - 316, August 2023. https://doi.org/10.1215/00294527-2023-0007
Information
