Substructural logics with a reflexive transitive closure modality
type: Item
instance of: scholarly article
title: Substructural logics with a reflexive transitive closure modality
zbMATH Open document ID: 1496.03092
DOI: 10.1007/978-3-662-55386-2_25
author: Igor Sedlár
publication date: 2017-12-20T00:00:00Z
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6820481
zbMATH Keywords: substructural logics
zbMATH Keywords: modal logic
zbMATH Keywords: reflexive transitive closure
zbMATH Keywords: intuitionistic modal logic
MaRDI profile type: Publication
full work available at URL: 978-3-662-55386-2 25
OpenAlex ID: W2731482537
description: scientific article; zbMATH DE number 6820481