اين پاياننامه اولين مطالعهي نظريه اثباتي و نظريه مدلي از تركيب منطقهاي با زمان محدود و منطقهاي ساختي است. ابتدا به منظور فراهم كردن يك پايه نظري مفيد براي استدلالهاي زماني كه داراي خاصيت ساختي و فراسازگارند، دو منطق IB[l] و PB[l] معرفي ميشود. اين منطقها دو مدل محدود و ساختي از LTL و توسيعهايي از منطق شهودي يا منطق فراسازگار نلسون هستند كه تحت عنوان حسابهاي رشتهاي گنتسني [l] و PB[l] معرفي ميشوند. در اين منطقها با وجود محدوديت دامنهي زمان همهي اصول موضوعهي زماني مانند اصل استقراي زمان نتيجه ميشوند. با استفاده از اِين سيستمها قواعد جانشاني مناسبي به ترتيب درون منطقهاي شهودي و فراسازگار نلسون تعريف ميشود و از اين قواعد براي اثبات قضاياي حذف برش، تصميمپذيري، سلامت و تماميت IB[l] و PB[l] استفاده ميشود. سپس به معرفي سيستمهاي استنتاج طبيعي NIB[l] و [l] و بيان قضيهي نرمالسازي براي آنها پرداخته ميشود. در پايان حسابهاي رشتهاي