Modal logic without contraction in a metatheory without contraction

DOI10.1017/S1755020319000030MaRDI QIDQ5216977zbMATH OpenOpenAlexWikidataFDO

Authors Zach Weber, Patrick R. Girard

Publication date 20 February 2020

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020319000030

zbMATH Keywords

classical recapturecontraction-free logicdefinability theorymodal logicnon-classical logicsubstructural logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Kripke semantics for modal substructural logics
• Normal modal substructural logics with strong negation
• Proof analysis in modal logic
• scientific article; zbMATH DE number 1975415
• Modal logic as metalogic

Cites work

• \(\mathbf L^i \mathbf D^Z_\lambda\) as a basis for PRA
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 912320 (Why is no real title available?)
• scientific article; zbMATH DE number 1406811 (Why is no real title available?)
• Kripke models for linear logic
• Kripke semantics for modal substructural logics
• Light affine set theory: A naive set theory of polynomial time
• Light linear logic
• Linear logic
• Logic without contraction as based on inclusion and unrestricted abstraction
• Logics without the contraction rule
• Modal logic
• Observations on the trivial world
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• Residuated lattices. An algebraic glimpse at substructural logics
• The connectives
• The logic of information structures
• The semantics of \(R4\)
• The undecidability of Grišin's set theory
• Toward useful type-free theories. I

Cited in

(5)

• Modal metatheory for quantified modal logic, with and without the Barcan formulas
• Observations on the trivial world
• Paraconsistent metatheory: new proofs with old tools
• A unified semantics for a family of modal logics with propositional constants
• scientific article; zbMATH DE number 7561490 (Why is no real title available?)

This page was built for publication: Modal logic without contraction in a metatheory without contraction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5216977)