Naming and identity in epistemic logic. II: A first-order logic for naming
type: Item
instance of: scholarly article
title: Naming and identity in epistemic logic. II: A first-order logic for naming
zbMATH Open document ID: 1012.03028
DOI: 10.1016/0004-3702(95)98593-D
author: Adam J. Grove
published in: Artificial Intelligence
publication date: 2003-02-04T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 1863773
MaRDI profile type: Publication
cites work: How processes learn
cites work: Q3867808
cites work: Knowledge and common knowledge in a Byzantine environment: Crash failures
cites work: Q4297316
cites work: Q4342097
cites work: Naming and Identity in Epistemic Logics Part I: The Propositional Case
cites work: Knowledge and common knowledge in a distributed environment
cites work: A guide to completeness and complexity for modal logics of knowledge and belief
cites work: A little knowledge goes a long way
cites work: Q5590042
cites work: Q5604443
cites work: Q3026978
cites work: On the logic of demonstratives
cites work: Q4180316
cites work: Q3198884
cites work: Foundations of a functional approach to knowledge representation
cites work: Programming simultaneous actions using common knowledge
cites work: Simulating synchronized clocks and common knowledge in distributed systems
cites work: Q4452550
cites work: Q5824675
cites work: Q4342072
description: scientific article; zbMATH DE number 1863773