View of Loop-check elimination for non-transitive distributed knowledge logic | Lietuvos matematikos rinkinys

← Return to Article Details Loop-check elimination for non-transitive distributed knowledge logic