Notre Dame Journal of Formal Logic

More results on PhilPapers

289
Substitutional Validity for Modal Logic.Marco Grossi - 2023 - Notre Dame Journal of Formal Logic 64 (3):291-316.details
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.
Download

Export citation

Bookmark

Previous issues

Next issues

Off-campus access

Using PhilArchive from home?

Create an account to enable off-campus access through your institution's proxy server.

About us

Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.

	show categories
	categorization shortcuts
	hide abstracts
	open articles in new windows

	show categories
	categorization shortcuts
	hide abstracts
	open articles in new windows

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Notre Dame Journal of Formal LogicISSN: 0029-4527

Notre Dame Journal of Formal Logic
ISSN: 0029-4527