Autoepistemic logic (Q4826262)
Jump to navigation
Jump to search
formal logic for the representation and reasoning of knowledge about knowledge
Language | Label | Description | Also known as |
---|---|---|---|
English | Autoepistemic logic |
formal logic for the representation and reasoning of knowledge about knowledge |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(4 entries)
- enwiki Autoepistemic logic
- jawiki 自己認識論理
- ptwiki Lógica autoepistêmica
- zhwiki 自动认识逻辑