A completeness proof for a logic with an alternative necessity operator
type: Item
instance of: scholarly article
title: A completeness proof for a logic with an alternative necessity operator
zbMATH Open document ID: 0864.03012
DOI: 10.1023/A:1004944015811
published in: Studia Logica
publication date: 1997-06-15T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03D15
zbMATH DE Number: 994533
zbMATH Keywords: knowledge logic
zbMATH Keywords: contingency
zbMATH Keywords: completeness
zbMATH Keywords: Hilbert-style system
zbMATH Keywords: reasoning with incomplete information
zbMATH Keywords: co-NP-complete
author: Stéphane Demri
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 994533