European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987
From MaRDI portal
Publication:3476783
DOI10.2307/2274896zbMath0699.03002MaRDI 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
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
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