Levesque's axiomatization of only knowing is incomplete
type: Item
instance of: scholarly article
title: Levesque's axiomatization of only knowing is incomplete
zbMATH Open document ID: 1014.03511
DOI: 10.1016/0004-3702(95)00007-2
author: Joseph Y. Halpern
author: Gerhard Lakemeyer
published in: Artificial Intelligence
publication date: 2003-02-04T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 1863776
zbMATH Keywords: logic of only knowing
MaRDI profile type: Publication
full work available at URL: 0004-3702(95)00007-2
OpenAlex ID: W2004226183
cites work: Foundations of a functional approach to knowledge representation
cites work: All I know: A study in autoepistemic logic
cites work: Q5573961
description: scientific article; zbMATH DE number 1863776