Display calculi for logics with relative accessibility relations
type: Item
instance of: scholarly article
title: Display calculi for logics with relative accessibility relations
zbMATH Open document ID: 0988.03030
DOI: 10.1023/A:1008341521750
author: Rajeev Goré
author: Stéphane Demri
published in: Journal of Logic, Language and Information
publication date: 2002-07-22T00:00:00Z
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 1441352
zbMATH Keywords: knowledge logic
zbMATH Keywords: cut-free display calculi
zbMATH Keywords: indiscernibility relation
zbMATH Keywords: polymodal logics
zbMATH Keywords: display logic
MaRDI profile type: Publication
full work available at URL: a:1008341521750
OpenAlex ID: W1538071772
description: scientific article; zbMATH DE number 1441352