Springer Philosophy,
Book review by Ingrid Rewitzky in Studia Logica http://ow.ly/DwVH30qk8Lq and link to book homepage http://ow.ly/HGjR30qk8LA
Ewa Orłowska on Relational Methods in Logic and Computer Science
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Everything is a Relation: A Preview
-
Altmetric BadgeChapter 2 Autobiography
-
Altmetric BadgeChapter 3 Engaged in Relations: A Trialogue
-
Altmetric BadgeChapter 4 Bibliography of Ewa Orłowska
-
Altmetric BadgeChapter 5 Tableaus and Dual Tableaus
-
Altmetric BadgeChapter 6 Reasoning on Relations, Modalities, and Sets
-
Altmetric BadgeChapter 7 Dual Tableau-Based Decision Procedures for Fragments of the Logic of Binary Relations
-
Altmetric BadgeChapter 8 Logics for Order-of-Magnitude Qualitative Reasoning: Formalizing Negligibility
-
Altmetric BadgeChapter 9 Signed Dual Tableaux for Kleene Answer Set Programs
-
Altmetric BadgeChapter 10 Machine-Checked Meta-theory of Dual-Tableaux for Intuitionistic Logic
-
Altmetric BadgeChapter 11 Modal Syllogistic
-
Altmetric BadgeChapter 12 About the Complete Axiomatization of Dynamic Extensions of Arrow Logic
-
Altmetric BadgeChapter 13 Adaptive Rough Sets and Vague Concepts
-
Altmetric BadgeChapter 14 Guttman Algebras and a Model Checking Procedure for Guttman Scales
-
Altmetric BadgeChapter 15 A Reasoning System for Satisfiability of Diagrammatic Specifications
-
Altmetric BadgeChapter 16 (Heterogeneous) Structured Specifications in Logics Without Interpolation
-
Altmetric BadgeChapter 17 Reasoning About Reversal-Bounded Counter Machines
-
Altmetric BadgeChapter 18 A Propositional Logical Encoding of Enriched Interactions in Abstract Argumentation Graphs
Altmetric Badge