Pages that link to "Item:Q4925177"
From MaRDI portal
The following pages link to Complexity of logics for multi-agent systems with restricted modal context (Q4925177):
Displaying 6 items.
- Systems of agents controlled by logical programs: complexity of verification (Q1040334) (← links)
- The independent choice logic for modelling multiple agents under uncertainty (Q1391346) (← links)
- On the Complexity of Two-Agent Justification Logic (Q2921954) (← links)
- Restricted normal modal logics and levelled possible worlds semantics (Q2937690) (← links)
- (Q3425580) (← links)
- (Q4461957) (← links)