Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures

DOI10.1007/11750734_4zbMath1235.03048OpenAlexW2100317875MaRDI QIDQ3623963

Michał Walicki, Thomas Ågotnes

Publication date: 28 April 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11750734_4

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Related Items (2)

Developing bounded reasoning ⋮ Verifying time, memory and communication bounds in systems of reasoning agents

This page was built for publication: Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures