Belief, awareness, and limited reasoning
Artificial Intelligence
All I know: a study in autoepistemic logic
Artificial Intelligence
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
Towards a theory of knowledge and ignorance: preliminary report
Logics and models of concurrent systems
Levesque's axiomatization of only knowing is incomplete
Artificial Intelligence
Reasoning about knowledge
Modal logic
A Deduction Model of Belief
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Awareness, Negation and Logical Omniscience
JELIA '90 Proceedings of the European Workshop on Logics in AI
A deduction model of belief and its logics
A deduction model of belief and its logics
A Complete and Decidable Logic for Resource-Bounded Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
What awareness isn't: a sentential view of implicit and explicit belief
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Avoiding logical omniscience and perfect reasoning: a survey
AI Communications
Semantical considerations on nonmonotonic logic
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Belief, awareness, and limited reasoning: preliminary report
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Complete axiomatizations of finite syntactic epistemic states
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Verifying time, memory and communication bounds in systems of reasoning agents
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Journal of Logic, Language and Information
Knowing Minimum/Maximum n Formulae
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Modal logics for communicating rule-based agents
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Complete axiomatizations of finite syntactic epistemic states
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Hi-index | 0.00 |
Syntactic structures based on standard syntactic assignments model knowledge directly rather than as truth in all possible worlds as in modal epistemic logic, by assigning arbitrary truth values to atomic epistemic formulae. This approach to epistemic logic is very general and is used in several logical frameworks modeling multi-agent systems, but has no interesting logical properties — partly because the standard logical language is too weak to express properties of such structures. In this paper we extend the logical language with a new operator used to represent the proposition that an agent “knows at most” a given finite set of formulae and study the problem of strongly complete axiomatization of syntactic structures in this language. Since the logic is not semantically compact, a strongly complete finitary axiomatization is impossible. Instead we present, first, a strongly complete infinitary system, and, second, a strongly complete finitary system for a slightly weaker variant of the language.