Modal logic as metalogic

DOI10.1007/BF00156914zbMATH Open0793.03011MaRDI QIDQ1314285FDOQ1314285

Kosta Došen

Publication date: 21 August 1994

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

modal logicsubstructural logicsLambek calculusdeduction theoremderived rulesdeductive metalogicfunctional completeness in categories

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• The Mathematics of Sentence Structure
• Sequent-systems and groupoid models. I
• Logics without the contraction rule
• Sequent-systems for modal logic
• Modal translations in substructural logics

Cited In (4)

• Modal Logic as Metaphysics
• Meeting strength in substructural logics
• Structuring metatheory on inductive definitions
• Title not available (Why is that?)

Recommendations

• Modal logic 👍 👎
• Modal Logic as Metaphysics 👍 👎
• Modal Logic as Metaphysics 👍 👎
• A modal logic of metaphor 👍 👎
• Modal logic as dialogical logic 👍 👎
• Modal Logic in the Modal Sense of Modality 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Modal logic as metalogic

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