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

DOI10.2307/2274896zbMATH Open0699.03002OpenAlexW1930499750MaRDI QIDQ3476783FDOQ3476783

Authors:

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

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

Cited In (9)

• Logic colloquium '88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988
• European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
• 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06
• European Summer Meeting of the Association for Symbolic Logic
• European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991
• European Summer Meeting of the Association for Symbolic Logic
• Logic colloquium '87. Proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
• European summer meeting of the Association for Symbolic Logic

This page was built for publication: European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3476783)