Which classical correspondence is valid in intuitionistic modal logic?
type: Item
instance of: scholarly article
title: Which classical correspondence is valid in intuitionistic modal logic?
zbMATH Open document ID: 1260.03044
author: Kensuke Kojima
publication date: 2012-08-01T00:00:00Z
full work available at URL: http://hdl.handle.net/2433/166077
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6062920
zbMATH Keywords: intuitionistic modal logic
zbMATH Keywords: Kripke semantics
zbMATH Keywords: birelational Kripke frames
zbMATH Keywords: correspondence theory
zbMATH Keywords: relational structures
MaRDI profile type: Publication
OpenAlex ID: W2008795874
DOI: 10.1093/JIGPAL/JZR044
published in: Logic Journal of the IGPL
description: scientific article; zbMATH DE number 6062920