European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987 (Q3476783): Difference between revisions

@@ Property / cites work @@
+Semantic analysis of inductive reasoning
@@ Property / cites work: Semantic analysis of inductive reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Essays in logical semantics
@@ Property / cites work: Essays in logical semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for modal logics I
@@ Property / cites work: Algebraic semantics for modal logics I / rank @@
+Normal rank
@@ Property / cites work @@
+Second-order and Inductive Definability on Finite Structures
+Normal rank
@@ Property / cites work @@
+A natural extension of natural deduction
@@ Property / cites work: A natural extension of natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Structure and complexity of relational queries
@@ Property / cites work: Structure and complexity of relational queries / rank @@
+Normal rank
@@ Property / cites work @@
+Investigations in modal and tense logics with applications to problems in philosophy and linguistics
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem
+Normal rank
@@ Property / cites work @@
+Q4404880
@@ Property / cites work: Q4404880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4766259
@@ Property / cites work: Q4766259 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+Des belles paires aux beaux uples
@@ Property / cites work: Des belles paires aux beaux uples / rank @@
+Normal rank
@@ Property / cites work @@
+Real closed rings. II. Model theory
@@ Property / cites work: Real closed rings. II. Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Rough sets
@@ Property / cites work: Rough sets / rank @@
+Normal rank
@@ Property / cites work @@
+Inaccessible worlds
@@ Property / cites work: Inaccessible worlds / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Partially‐Ordered Quantifiers
@@ Property / cites work: Finite Partially‐Ordered Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Rosser sentences
@@ Property / cites work: Rosser sentences / rank @@
+Normal rank
@@ Property / cites work @@
+On Entailment
@@ Property / cites work: On Entailment / rank @@
+Normal rank
@@ Property / cites work @@
+Rudimentary Predicates and Relative Computation
@@ Property / cites work: Rudimentary Predicates and Relative Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Class groups of integral group rings
@@ Property / cites work: Class groups of integral group rings / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Induction and Satisfaction Classes
@@ Property / cites work: Bounded Induction and Satisfaction Classes / rank @@
+Normal rank