Autoepistemic logic
- Wikidata
- https://www.wikidata.org/wiki/Q4826262
- OpenAlex ID
- https://openalex.org/C3845977 (API record)
- OpenAlex Description
- formal logic for the representation and reasoning of knowledge about knowledge
- OpenAlex Level [?]
- 4
Broader Concepts
Narrower Concepts
- Bunched logic
- Default logic
- Negation as failure
- Predicate functor logic
- Probabilistic logic network
- Tautology (logic)
- Well-formed formula
Associated Authors
Add Incoming Edge
Login via ORCiD to contribute.
Add Outgoing Edge
Login via ORCiD to contribute.