scientific article; zbMATH DE number 823607

zbMATH Open0840.03011MaRDI QIDQ4856963FDOQ4856963

Authors: Greg Restall 

Publication date: 1 July 1996

Title of this publication is not available (Why is that?)

Recommendations

• Normal modal substructural logics with strong negation
• Modal translation of substructural logics
• Substructural logic of proofs
• A substructural approach to explicit modal logic
• Modal translations in substructural logics

zbMATH Keywords

modal logicssubstructural logicsstructural rulesnecessity operators

Mathematics Subject Classification ID

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

Cited In (37)

• An algebraic approach to subframe logics. Modal case
• Substructural Logics in Natural Deduction
• Binary modal companions for subintuitionistic logics
• Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference
• Structural operational semantics and modal logic, revisited
• Axiomatization of crisp Gödel modal logic
• A substructural approach to explicit modal logic
• UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
• Sorites, curry and suitable models
• Substructural epistemic logics
• Normal modal substructural logics with strong negation
• Powerset Residuated Algebras and Generalized Lambek Calculus
• Conuclear images of substructural logics
• A co-inductive language and truth degrees
• Levels of modality for BDI logic
• Type logics and pregroups
• Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic
• Substructural logic of proofs
• On the multi-dimensional modal logic of substitutions
• Modal translation of substructural logics
• On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
• A curious dialogical logic and its composition problem
• Editorial introduction: substructural logics and metainferences
• Meeting strength in substructural logics
• Title not available (Why is that?)
• Modal translations in substructural logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes
• Title not available (Why is that?)
• Structuralist modals and the combination of logics
• Substructural logics with a reflexive transitive closure modality
• The Logic of Bunched Implications
• Title not available (Why is that?)
• Title not available (Why is that?)
• A uniform framework for substructural logics with modalities
• Nominal substitution at work with the global and converse modalities

This page was built for publication:

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