STIT logic
Definition
STIT stands for ‘See To It That’. It is a branch of modal logic used …
Formal Methods
Terms tagged with Formal Methods
Epistemic modal logic
Definition
Epistemic modal logic extends classical logic with operators that denote what an agent …
Dynamic Epistemic Logic
Definition
Dynamic Epistemic Logic (DEL) extends modal logic to model how knowledge evolves when …
Concurrent MetateM
Definition
Concurrent MetateM is a high-level specification language used primarily in robotics and …
Agent verification
Definition
This involves using mathematical methods to ensure that an agent’s actions adhere …