Μ λογισμός

Ο μ-λογισμός (ή τροπικός μ λογισμός) είναι μια επέκταση της προτασιακής τροπικής λογικής με έναν τελεστή μ ελάχιστου σταθερού σημείου (fixpoint). Χρησιμοποιείται για να περιγράψει τις ιδιότητες των συστημάτων μεταβάσεων με ετικέτες και να τις επαληθεύσει.

Ο (προτασιακός) μ-λογισμός εφευρέθηκε από τον Ντέινα Σκοτ και τον Τζάκο ντε Μπέκερ, και στη συνέχεια αναπτύχθηκε από τον Ντέξτερ Κόζεν για να φτάσει στην έκδοση που χρησιμοποιείται σήμερα.

Πολλές χρονικές λογικές μπορούν να κωδικοποιηθούν στο μ-λογισμό, όπως η LTL, η CTL και η CTL*.

Παραπομπές

Αναφορές 

 Videolectures.net - ANU Logic Summer School '09

Τυπικές μέθοδοι