Hennessy–Milner logic
கணினி அறிவியலில், ஹென்னெஸ்ஸி-மில்னர் லாஜிக் (எச். எம். எல்) என்பது ஒரு தானியங்கி இயந்திரத்தைப் போன்ற கட்டமைப்பான பெயரிடப்பட்ட மாற்றம் அமைப்பின் (எல். டி. எஸ்) பண்புகளைக் குறிப்பிடப் பயன்படுத்தப்படும் ஒரு மாறும் தர்க்கம் ஆகும். இது 1980 ஆம் ஆண்டில் மத்தேயு ஹென்னெஸ்ஸி மற்றும் ராபின் மில்னர் ஆகியோரால் அறிமுகப்படுத்தப்பட்டது, இது அவர்களின் ஆய்வறிக்கையான "நோண்டெடெர்மினிசம் அண்ட் கன்குரன்சி" (ஐசிஏஎல்பி) இல் அறிமுகப்படுத்தப்பட்டது. எச். எம். எல் இன் மற்றொரு மாறுபாடு தர்க்கத்தின் வெளிப்பாட்டை விரிவுபடுத்த மறுசுழற்சியைப் பயன்படுத்துவதை உள்ளடக்கியது, மேலும் இது பொதுவாக 'மறுசுழற்சியுடன் ஹென்னெஸ்ஸி-மில்னர் லாஜிக்' என்று குறிப்பிடப்படுகிறது. அதிகபட்ச மற்றும் குறைந்தபட்ச நிலையான புள்ளிகளைப் பயன்படுத்தி மறுசுழற்சி செயல்படுத்தப்படுகிறது. சில செயல்களின் தொகுப்பிற்கான பின்வரும் பி. என். எஃப் இலக்கணத்தால் ஒரு சொற்றொடர் வரையறுக்கப்படுகிறதுஃ அதாவது, ஒரு சூத்திரம் நிலையான உண்மையாக இருக்க முடியும் எப்போதும் உண்மை நிலையானது எப்போதும் தவறானது எப்போதும் தவறான சூத்திர இணைப்பு சூத்திரம் அனைத்து செயல்-வழித்தோன்றல்களுக்கான விலகல் சூத்திரம், சில சட்டம்-வழித்தோன்றலுக்கான சூத்திரத்தை வைத்திருக்க வேண்டும், முறையான சொற்பொருள்களை வைத்திருக்க வேண்டும் ஒரு பெயரிடப்பட்ட மாற்றம் அமைப்பாக இருக்கட்டும், மேலும் எச். எம். எல் சூத்திரங்களின் தொகுப்பாக இருக்கட்டும். திருப்திகரமான உறவு எல். டி. எஸ்ஸின் நிலைகளை அவை பூர்த்தி செய்யும் சூத்திரங்களுடன் தொடர்புபடுத்துகிறது, மேலும் இது மிகச்சிறிய உறவாக வரையறுக்கப்படுகிறது, அதாவது, அனைத்து நிலைகள் மற்றும் சூத்திரங்களுக்கும், அத்தகைய ஒரு நிலை இருந்தால் எந்த நிலையும் இல்லை, பின்னர், அது வைத்திருக்கும் அனைத்திற்கும், பின்னர், பின்னர், பின்னர், பின்னர், பின்னர், பின்னர், பின்னர். மேலும் பார்க்கவும் நிலையான புள்ளி ஆபரேட்டர்கள் டைனமிக் லாஜிக்குடன் எச். எம். எல்-ஐ விரிவுபடுத்தும் மாடல் மைக்ரோ-கால்குலஸ், எல்லையற்ற பல முறைகளைக் கொண்ட ஒரு மல்டிமோடல் லாஜிக். 1988. "ஹென்னெஸ்ஸி-மில்னர் லாஜிக் ஒரு விவரக்குறிப்பு மொழியாக மறுநிகழ்வுடன், அதை அடிப்படையாகக் கொண்ட ஒரு சுத்திகரிப்பு கால்குலஸ்". ஒருங்கிணைந்த அமைப்புகளின் விவரக்குறிப்பு மற்றும் சரிபார்ப்பு குறித்த பி. சி. எஸ்-எஃப். ஏ. சி. எஸ் பட்டறையின் நடவடிக்கைகளில், சார்லஸ் ராட்ரே (எட். ஸ்ப்ரிங்கர்-வெர்லாக், லண்டன், இங்கிலாந்து, 294-330. ஒத்திசைவு (கணினி அறிவியல்) முறையான விவரக்குறிப்பு கணினி அறிவியலில் மாதிரி தர்க்கம் தர்க்கம்