Pages that link to "Item:Q4632321"
From MaRDI portal
The following pages link to Modal logic for modelling actions and agents (Q4632321):
Displaying 10 items.
- Programming rational agents in a modal action logic (Q596475) (← links)
- Determining the environment: a modal logic for closed interaction (Q1036057) (← links)
- A complete modal proof system for HAL: the Herbrand agent language (Q1311969) (← links)
- Active logic semantics for a single agent in a static world (Q2389647) (← links)
- ACTL for modal interface automata (Q2404073) (← links)
- (Q4222877) (← links)
- Formalizing action and change in modal logic I: the frame problem (Q4934812) (← links)
- (Q5019683) (← links)
- (Q5709172) (← links)
- Theoretical Computer Science (Q5897363) (← links)