On an intuitionistic modal logic
type: Item
instance of: scholarly article
title: On an intuitionistic modal logic
zbMATH Open document ID: 0963.03033
DOI: 10.1023/A:1005291931660
author: Gavin M. Bierman
author: Valeria de Paiva
published in: Studia Logica
publication date: 2000-12-19T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03G30
zbMATH DE Number: 1546773
zbMATH Keywords: intuitionistic variant of modal logic S4
zbMATH Keywords: intuitionist logic
zbMATH Keywords: proof theory
zbMATH Keywords: categorical models
zbMATH Keywords: natural deduction formulation
MaRDI profile type: Publication
full work available at URL: a:1005291931660
OpenAlex ID: W1678412398
description: scientific article; zbMATH DE number 1546773