Pages that link to "Item:Q4302799"
From MaRDI portal
The following pages link to A little knowledge goes a long way (Q4302799):
Displaying 19 items.
- Priority scheduling of distributed systems based on model checking (Q453501) (← links)
- Logical classification of distributed algorithms (Bakery algorithms as an example) (Q541220) (← links)
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545) (← links)
- A knowledge-based analysis of global function computation (Q660991) (← links)
- A model of reasoning about knowledge (Q1286688) (← links)
- Knowledge in shared memory systems. (Q1312600) (← links)
- Common knowledge and update in finite environments (Q1383157) (← links)
- Naming and identity in epistemic logic. II: A first-order logic for naming (Q1855214) (← links)
- Space-time dynamic of normalized doxatons: Automata models of pathological collective mentality (Q1862368) (← links)
- Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
- Positive announcements (Q2046881) (← links)
- The logic of gossiping (Q2211849) (← links)
- On Decidability of a Logic of Gossips (Q2835859) (← links)
- Knowledge Based Scheduling of Distributed Systems (Q3587250) (← links)
- Reconstruction of non‐logical axioms from the propositions of multi‐agent doxastic logic (Q4269898) (← links)
- (Q5015358) (← links)
- Knowledge-based programs (Q5137342) (← links)
- A note on knowledge-based programs and specifications (Q5137901) (← links)
- Using counterfactuals in knowledge-based programming (Q5138508) (← links)
