Author(s): Stig Kanger (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 82
Publisher: American Elsevier
Year: 1975
Language: English
Pages: iii-v, 1-214
Content:
Edited by
Page iii
Copyright page
Page iv
Preface
Page v
Quantifiers; Games and Inductive Definitions Original Research Article
Pages 1-14
Peter Aczel
Some Connections Between Elementary and Modal Logic Original Research Article
Pages 15-31
Kit Fine
Filtrations and the Finite Frame Property in Boolean Semantics Original Research Article
Pages 32-39
Bengt Hansson, Peter Gärdenfors
Systematizing Definability Theory Original Research Article
Pages 40-62
Jaakko Hintikka, Veikko Rantala
Conservative Endextensions and the Quantifier There Exist Uncountably Many' Original Research Article
Pages 63-80
Herman Ruge Jervell
About Models for Intuitionistic Type Theories and the Notion of Definitional Equality Original Research Article
Pages 81-109
Per Martin-Löuf
Completeness and Correspondence in the First and Second Order Semantics for Modal Logic Original Research Article
Pages 110-143
Henrik Sahlqvist
On some Decidability Problems Concerning Developmental Languages Original Research Article
Pages 144-153
Arto Salomaa
Lambda Calculus and Recursion Theory (Preliminary Version) Original Research Article
Pages 154-193
Dana Scott
That Every Extension Of S4.3 is Normal Original Research Article
Pages 194-196
Krister Segerberg
Descriptions in Intuitionistic Logic Original Research Article
Pages 197-212
Söuren Stenlund
Author Index
Pages 213-214
