Modal logic as metalogic
type: Item
instance of: scholarly article
title: Modal logic as metalogic
zbMATH Open document ID: 0793.03011
DOI: 10.1007/BF00156914
author: Kosta Došen
published in: Journal of Logic, Language and Information
publication date: 1994-08-21T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 18A15
zbMATH DE Number: 501107
zbMATH Keywords: substructural logics
zbMATH Keywords: derived rules
zbMATH Keywords: modal logic
zbMATH Keywords: Lambek calculus
zbMATH Keywords: deductive metalogic
zbMATH Keywords: functional completeness in categories
zbMATH Keywords: deduction theorem
MaRDI profile type: Publication
cites work: Sequent-systems for modal logic
cites work: Q3728880
cites work: Sequent-systems and groupoid models. I
cites work: Q4694248
cites work: Modal translations in substructural logics
cites work: Linear logic
cites work: The Mathematics of Sentence Structure
cites work: Logics without the contraction rule
Recommended article: Modal Logic as Metaphysics
Recommended article: Q4532193
Recommended article: Q4817192
Recommended article: Modal logic
Recommended article: Q3128959
Recommended article: A modal logic of metaphor
Recommended article: Modal Logic in the Modal Sense of Modality
Recommended article: Q4033732
Recommended article: Modal logic as dialogical logic
description: scientific article; zbMATH DE number 501107