Concept
Hennessy–Milner logic
Overview
In computer science, Hennessy–Milner logic (HML) is a dynamic logic used to specify properties of a labeled transition system (LTS), a structure similar to an automaton. It was introduced in 1980 by Matthew Hennessy and Robin Milner in their paper "On observing nondeterminism and concurrency" (ICALP).
Another variant of the HML involves the use of recursion to extend the expressibility of the logic, and is commonly referred to as 'Hennessy-Milner Logic with recursion'. Recursion is enabled with the use of maximum and minimum fixed points.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Possible passages
Found by search and not yet checked by a person; they may only mention the idea in passing.
For a century after the formulation of the infinitesimal method men were occupied in carrying the new tool of analysis into every field where its use promised advance. The conceptions of the method were uncritical. Its applications were the center of attention. The next century undertook to bring order into the concepts, consistency into the doctrine, and rigor into the reasoning.
John Dewey, Creative Intelligence
Close in meaning to Hennessy–Milner logic; the term itself is not named.
In the various discussions of the hypothesis which have appeared in works on inductive logic and in writings on scientific method, its structure and function have received considerable attention, while its origin has been comparatively neglected. The hypothesis has generally been treated as that part of scientific procedure which marks the stage where a definite plan or method is proposed for dealing with new or…
John Dewey, Studies in Logical Theory
Close in meaning to Hennessy–Milner logic; the term itself is not named.
General logic, as has been repeatedly said, makes abstraction of all content of cognition, and expects to receive representations from some other quarter, in order, by means of analysis, to convert them into conceptions. On the contrary, transcendental logic has lying before it the manifold content of à priori sensibility, which transcendental æsthetic presents to it in order to give matter to the pure conceptions…
Immanuel Kant, The Critique of Pure Reason
Close in meaning to Hennessy–Milner logic; the term itself is not named.
Related ideas
Place in the tradition
Part of Modal logic.