A computationally grounded logic of visibility, perception, and knowledge

DOI10.1093/jigpal/9.2.257zbMath0974.68203OpenAlexW2064201814MaRDI QIDQ2716928

Alessio Lomuscio, Michael Wooldridge

Publication date: 16 May 2001

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/83129356ec644813cb9eca7fb9e1ad18b0a655d6

zbMATH Keywords

multi-modal logics\({\mathcal V}{\mathcal S}{\mathcal K}\) logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (7)

Progression and verification of situation calculus agents with bounded beliefs ⋮ Program semantics and verification technique for AI-centred programs ⋮ Levels of modality for BDI logic ⋮ Quantified Coalition Logic of Knowledge, Belief and Certainty ⋮ Logical-epistemic foundations of general game descriptions ⋮ A logic of situated resource-bounded agents ⋮ Seeing, Knowledge and Common Knowledge

This page was built for publication: A computationally grounded logic of visibility, perception, and knowledge