European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987
From MaRDI portal
Publication:3476783
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
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)