Cut-free tableau calculi for some intuitionistic modal logics
type: Item
instance of: scholarly article
title: Cut-free tableau calculi for some intuitionistic modal logics
zbMATH Open document ID: 0895.03006
DOI: 10.1023/A:1005072627389
author: Mauro Ferrari
published in: Studia Logica
publication date: 1998-09-14T00:00:00Z
review text: Kripke-style cut-free calculi (explicitly reflecting the structure of possible worlds) are presented for intuitionistic analogues of the modal systems K, D, T.
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 1117766
zbMATH Keywords: intuitionistic modal logic
zbMATH Keywords: cut-free calculi
zbMATH Keywords: possible worlds
reviewed by: G. E. Mints
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1117766