Logica STIT
Definition
STIT provine de la „See To It That” (Se asigură că). Este o ramură a logicii modale …
Formal Methods
Terms tagged with Formal Methods
Logică modală epistemică
Definition
Logica modală epistemică extinde logica clasică cu operatori care denotă ceea ce un agent …
Logica epistemică dinamică
Definition
Logica epistemică dinamică (DEL) extinde logica modală pentru a modela modul în care …
Concurrent MetateM
Definition
Concurrent MetateM este un limbaj de specificare de nivel înalt utilizat principal în …
Verificarea agenților
Definition
Acest lucru implică utilizarea metodelor matematice pentru a se asigura că acțiunile unui …