المنطق القابل للقياس عبر نظرية تمثيل لوميست-سيكورسكي

نحقق في تمديد مودي للمنطق الكلاسيكي الغير نهائي مع الالتقاءات والانضمامات القابلة للعد، مصاغة مع التركيز على الأعمال النظرية للقياس في الأنظمة الديناميكية وفي نظرية إرجود النقاط الخالية. نعرف صيغة مودية في هذه اللغة، والتي نسميها المنطقيات القابلة للقياس المودي. كما نقدم دلالات شبيهة بكريبكي لهذه المنطقيات في المساحات القابلة للقياس مع أخذ مثالي مودي معين في الاعتبار. باستخدام قيد ثنائية يونسن-تارسكي وتمديد مودي لنظرية لوميست-سيكورسكي، إثبات كمال المنطقيات القابلة للقياس المودي مع احترام هذه الدلالات الجديدة.