The following pages link to Deductive Algorithmic Knowledge (Q5477459):
Displaying 7 items.
- The interrogative model of inquiry meets dynamic epistemic logics (Q514587) (← links)
- Dealing with logical omniscience: expressiveness and pragmatics (Q543593) (← links)
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements (Q833736) (← links)
- Belief ascription under bounded resources (Q987466) (← links)
- Verifying time, memory and communication bounds in systems of reasoning agents (Q1036066) (← links)
- Autoepistemic answer set programming (Q2046018) (← links)