Journal article
Substitutional validity for modal logic
- 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.
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Accepted manuscript, pdf, 470.5KB, Terms of use)
-
- Publisher copy:
- 10.1215/00294527-2023-0007
Authors
- Publisher:
- Duke University Press
- Journal:
- Notre Dame Journal of Formal Logic More from this journal
- Volume:
- 64
- Issue:
- 3
- Pages:
- 291-316
- Publication date:
- 2023-08-01
- Acceptance date:
- 2023-06-30
- DOI:
- EISSN:
-
1939-0726
- ISSN:
-
0029-4527
- Language:
-
English
- Keywords:
- Pubs id:
-
1582284
- Local pid:
-
pubs:1582284
- Deposit date:
-
2025-09-30
Terms of use
- Copyright holder:
- University of Notre Dame
- Copyright date:
- 2023
- Rights statement:
- © 2023 University of Notre Dame
- Notes:
- This is the accepted manuscript version of the article. The final version is available online from Duke University Press at https://dx.doi.org/10.1215/00294527-2023-0007
If you are the owner of this record, you can report an update to it here: Report update to this record