First-Order Resolution Methods for Modal Logics
Book chapter (January 2013)
Logic, Language and Reasoning
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Dov Gabbay: “I am a Logic”
-
Altmetric BadgeChapter 2 Research Themes of Dov Gabbay
-
Altmetric BadgeChapter 3 Proofs, Labels and Dynamics in Natural Language
-
Altmetric BadgeChapter 4 What a Linguist Might Want from a Logic of Most and Other Generalized Quantifiers
-
Altmetric BadgeChapter 5 Imperative History: Two-Dimensional Executable Temporal Logic
-
Altmetric BadgeChapter 6 Diagrammatic Reasoning in Projective Geometry
-
Altmetric BadgeChapter 7 On Sentences of the Kind “Sentence ‘ P ’ is about Topic T ”
-
Altmetric BadgeChapter 8 Two Traditions in the Logic of Belief: Bringing them Together
-
Altmetric BadgeChapter 9 Elimination of Predicate Quantifiers
-
Altmetric BadgeChapter 10 Labelled Natural Deduction
-
Altmetric BadgeChapter 11 A General Reasoning Scheme for Underspecified Representations
-
Altmetric BadgeChapter 12 Deductive Systems and Categories in Linguistics
-
Altmetric BadgeChapter 13 Towards a Procedural Model of Natural-Language Interpretation Crossover: A Case Study
-
Altmetric BadgeChapter 14 Transformation Methods in LDS
-
Altmetric BadgeChapter 15 Labelled Deduction in the Composition of Form and Meaning
-
Altmetric BadgeChapter 16 Formalisms for Non-Formal Languages