Pages that link to "Item:Q702100"
From MaRDI portal
The following pages link to Multi-agent dynamic logics with informational test (Q702100):
Displaying 6 items.
- Where logic and agents meet (Q657584) (← links)
- On combinations of propositional dynamic logic and doxastic modal logics (Q1006486) (← links)
- Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620) (← links)
- Logics of informational attitudes and informative actions (Q2851824) (← links)
- Inference Rules in Multi-agents’ Temporal Logics (Q3013073) (← links)
- Decidability: theorems and admissible rules (Q3643317) (← links)