The quantitative linear-time-branching-time spectrum

ما روش روانشناختی روانشناختی را برای تایید کمی ارائه میدهیم. به عنوان ورودی یک فاصله نامشخص در ردیابی سیستم و یا اعدام، ما یک چارچوب مبتنی بر بازی را توسعه می دهیم که به ما امکان می دهد طیفی از فاصله های مختلف سیستم جالب را که مربوط به فاصله ردیابی داده شده تعریف کنیم. بنابراین طیف زمانبندی خطی-زمانی-شاخه ای کلاسیک را به یک تنظیم کمی محدود می کنیم که پارامتراز فاصله فاصله است. ما همچنین یک اصل انتقال عمومی را اثبات می کنیم که به ما اجازه می دهد نمونه های متضاد را از کیفی به مقیاس کمی منتقل کنیم، نشان می دهد که تمام فاصله های سیستم از لحاظ توپولوژیکی ناسازگار هستند.