Pages that link to "Item:Q4509295"
From MaRDI portal
The following pages link to Reasoning tractably about explicit belief: A model-theoretic approach (Q4509295):
Displaying 5 items.
- Exploring the tractability border in epistemic tasks (Q484931) (← links)
- Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief (Q814492) (← links)
- A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief (Q2937397) (← links)
- A syntactic approach to introspection and reasoning about the beliefs of other agents (Q3989942) (← links)
- (Q4999277) (← links)