Substitutional validity for modal logic

DOI10.1215/00294527-2023-0007OpenAlexW4386970687MaRDI QIDQ6187414

Marco Grossi

Publication date: 15 January 2024

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2023-0007

zbMATH Keywords

modal logicaxiomatic truthsubstitutional validity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) General logic (03B99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Toward a theory of second-order consequence
• Formal notes on the substitutional analysis of logical consequence
• Kripke incomplete logics containing KTB
• Principles of reflection and second-order logic
• Modal logic and truth
• Necessity and truth theories
• Weak necessity and truth theories
• Axiom schemata of strong infinity in axiomatic set theory
• Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence
• On the Substitutional Characterization of First-Order Logical Truth
• Reflecting on incompleteness
• On Some Completeness Theorems in Modal Logic
• Outline of a Theory of Truth

This page was built for publication: Substitutional validity for modal logic