Episztemikus modális logika
Definition
Az episztemikus modális logika a klasszikus logikát olyan operátorokkal bővíti, amelyek …
Formal Methods
Terms tagged with Formal Methods
Dinamikus episztémikus logika
Definition
A dinamikus episztémikus logika (DEL) kiterjeszti a modális logikát annak modellezésére, …
Concurrent MetateM
Definition
A Concurrent MetateM egy magas szintű specifikációs nyelv, amelyet elsősorban robotikában …
Ügynök ellenőrzés
Definition
Ez magában foglalja matematikai módszerek alkalmazását annak biztosítására, hogy az …