Pages that link to "Item:Q3602943"
From MaRDI portal
The following pages link to Proof Theory for Distributed Knowledge (Q3602943):
Displayed 5 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)
- Computing distributed knowledge as the greatest lower bound of knowledge (Q2695370) (← links)