Article contents
MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION
Published online by Cambridge University Press: 13 February 2019
Abstract
Standard reasoning about Kripke semantics for modal logic is almost always based on a background framework of classical logic. Can proofs for familiar definability theorems be carried out using a nonclassical substructural logic as the metatheory? This article presents a semantics for positive substructural modal logic and studies the connection between frame conditions and formulas, via definability theorems. The novelty is that all the proofs are carried out with a noncontractive logic in the background. This sheds light on which modal principles are invariant under changes of metalogic, and provides (further) evidence for the general viability of nonclassical mathematics.
Keywords
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2019
References
BIBLIOGRAPHY
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20191216022407086-0085:S1755020319000030:S1755020319000030_inline1.gif?pub-status=live)
- 3
- Cited by