Find link

language:

Find link is a tool written by Edward Betts.

searching for Multimodal logic 1 found (11 total)

Hennessy–Milner logic (647 words) [view diff] exact match in snippet view article find links to article

μ-calculus, which extends HML with fixed point operators Dynamic logic, a multimodal logic with infinitely many modalities Hennessy, Matthew; Milner, Robin (1980-07-14)