A logic of situated resource-bounded agents
type: Item
instance of: scholarly article
title: A logic of situated resource-bounded agents
zbMATH Open document ID: 1162.68662
author: Natasha Alechina
author: Brian Logan
published in: Journal of Logic, Language and Information
publication date: 2009-03-24T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5532551
zbMATH Keywords: Agents
zbMATH Keywords: Belief ascription
zbMATH Keywords: Verification
MaRDI profile type: Publication
full work available at URL: s10849-008-9073-6
OpenAlex ID: W2141303678
cites work: The Dynamics of Syntactic Knowledge
cites work: Completeness and Complexity of Multi-modal CTL
cites work: Modal logic
cites work: Reasoning about rational, but not logically omniscient, agents
cites work: Belief, awareness, and limited reasoning
cites work: Q4845472
cites work: Epistemology Without Knowledge and Without Belief
cites work: Q3992823
cites work: Q4841134
cites work: Q4028821
cites work: Q4252257
cites work: Q4252258
cites work: Dynamic Epistemic Logic and Knowledge Puzzles
cites work: A computationally grounded logic of visibility, perception, and knowledge
DOI: 10.1007/S10849-008-9073-6
description: scientific article; zbMATH DE number 5532551