Pages that link to "Item:Q1770620"
From MaRDI portal
The following pages link to Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620):
Displaying 11 items.
- Multi-agent dynamic logics with informational test (Q702100) (← links)
- A sequent calculus for propositional dynamic logic for agents with interactions (Q852274) (← links)
- Deontic interpreted systems (Q1420804) (← links)
- Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620) (← links)
- A logical approach to the dynamics of commitments (Q1978378) (← links)
- Formalizing potential of agents. The KARO framework revisited (Q2702561) (← links)
- Minimizing agent specifications using a logic of knowledge and actions (Q2720318) (← links)
- A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions (Q3167603) (← links)
- Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles (Q3457707) (← links)
- Formal Modelling of Emotions in BDI Agents (Q3602941) (← links)
- (Q4738591) (← links)