European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987

DOI10.2307/2274896zbMath0699.03002OpenAlexW1930499750MaRDI QIDQ3476783

No author found.

Publication date: 1989

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274896

zbMATH Keywords

Granada/SpainLogic ColloquiumEuropean Summer MeetingSymbolic Logic

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites Work

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