Substitutional Validity for Modal Logic

Notre Dame Journal of Formal Logic 64 (3):291-316 (2023)
  Copy   BIBTEX


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.

Author's Profile

Marco Grossi
University of Oxford


Added to PP

327 (#54,205)

6 months
88 (#57,494)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?