This data is correct as of December 2015 - for more up to date information, please visit https://opensyllabus.org/
So far, Altmetric has seen
this research output assigned in 5 syllabi from 1 institutions on Open Syllabus Project.
First-order modal logic
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Propositional Modal Logic
-
Altmetric BadgeChapter 2 Tableau Proof Systems
-
Altmetric BadgeChapter 3 Axiom Systems
-
Altmetric BadgeChapter 4 Quantified Modal Logic
-
Altmetric BadgeChapter 5 First-Order Tableaus
-
Altmetric BadgeChapter 6 First-Order Axiom Systems
-
Altmetric BadgeChapter 7 Equality
-
Altmetric BadgeChapter 8 Existence and Actualist Quantification
-
Altmetric BadgeChapter 9 Terms and Predicate Abstraction
-
Altmetric BadgeChapter 10 Abstraction Continued
-
Altmetric BadgeChapter 11 Designation
-
Altmetric BadgeChapter 12 Definite Descriptions