Pages that link to "Item:Q3602943"
From MaRDI portal
The following pages link to Proof Theory for Distributed Knowledge (Q3602943):
Displaying 9 items.
- A modal type theory for formalizing trusted communications (Q420842) (← links)
- Reasoning about collectively accepted group beliefs (Q652734) (← links)
- On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge (Q2148837) (← links)
- A modal view on resource-bounded propositional logics (Q2157601) (← links)
- Recording and analysing knowledge-based distributed deduction processes (Q2365126) (← links)
- Distributed knowability and Fitch's paradox (Q2464652) (← links)
- Computing distributed knowledge as the greatest lower bound of knowledge (Q2695370) (← links)
- Abduction of distributed theories through local interactions (Q2999224) (← links)
- (Q4636047) (← links)