Pages that link to "Item:Q1978243"
From MaRDI portal
The following pages link to On the decidability and complexity of reasoning about only knowing (Q1978243):
Displaying 10 items.
- Semantical considerations on multiagent only knowing (Q892188) (← links)
- Levesque's axiomatization of only knowing is incomplete (Q1855217) (← links)
- Only knowing with degrees of confidence (Q2372201) (← links)
- Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report (Q2938501) (← links)
- A sound and complete proof theory for the generalized logic of only knowing (Q4421274) (← links)
- (Q4789155) (← links)
- (Q5149146) (← links)
- Logics in Artificial Intelligence (Q5394148) (← links)
- (Q5740446) (← links)
- A sound and complete tableau calculus for reasoning about only knowing and knowing at most (Q5955625) (← links)