3,412 followers
量子動的論理＆ハイブリッド論理ウィークは終了。 https://t.co/ZmeOtixeaG https://t.co/agsTXBWDxl 査読ウィークは延長戦に入ります。
Hybrid Logic and its Proof-Theory
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction to Hybrid Logic
-
Altmetric BadgeChapter 2 Proof-Theory of Propositional Hybrid Logic
-
Altmetric BadgeChapter 3 Tableaus and Decision Procedures for Hybrid Logic
-
Altmetric BadgeChapter 4 Comparison to Seligman’s Natural Deduction System
-
Altmetric BadgeChapter 5 Functional Completeness for a Hybrid Logic
-
Altmetric BadgeChapter 6 First-Order Hybrid Logic
-
Altmetric BadgeChapter 7 Intensional First-Order Hybrid Logic
-
Altmetric BadgeChapter 8 Intuitionistic Hybrid Logic
-
Altmetric BadgeChapter 9 Labelled Versus Internalized Natural Deduction
-
Altmetric BadgeChapter 10 Why Does the Proof-Theory of Hybrid Logic Behave So Well?