Studia Logica 42:243 (1983)
AbstractWe discuss an abstract notion of a logical operation and corresponding logics. It is shown that if all the logical operations considered are implicitely definable in a logic *, then the same holds also for the logic obtained from these operations. As an application we show that certain iterated forms of infinitely deep languages are implicitely definable in game quantifier languages. We consider also relations between structures and show that Karttunen's characterization of elementary equivalence for the ordinary infinitely deep languages can be generalized to hold for the iterated infinitely deep languages. An early version of this work was presented in the Abstracts Section of ICM '78.
Added to PP
Historical graph of downloads
References found in this work
Δ-Logics and Generalized Quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155.
Citations of this work
No citations found.
Similar books and articles
Language Evolution by Iterated Learning With Bayesian Agents.Thomas L. Griffiths & Michael L. Kalish - 2007 - Cognitive Science 31 (3):441-480.
Three Approaches to Iterated Belief Contraction.Raghav Ramachandran, Abhaya C. Nayak & Mehmet A. Orgun - 2012 - Journal of Philosophical Logic 41 (1):115-142.
Language Evolution Can Be Shaped by the Structure of the World.Amy Perfors & Daniel J. Navarro - 2014 - Cognitive Science 38 (4):775-793.
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.
Structuralist Logic: Implications, Inferences, and Consequences. [REVIEW]Arnold Koslow - 2007 - Logica Universalis 1 (1):167-181.
Model Theoretic Results for Infinitely Deep Languages.Maaret Karttunen - 1983 - Studia Logica 42 (2-3):223 - 241.
Multiple and Iterated Contraction Reduced to Single-Step Single-Sentence Contraction.Sven Ove Hansson - 2010 - Synthese 173 (2):153-177.
On Some Compatible Operations on Heyting Algebras.Rodolfo Cristian Ertola Biraben & Hernán Javier San Martín - 2011 - Studia Logica 98 (3):331-345.
Philosophy of Languages and Languages as Framework of Philosophies.Pablo Lopez Lopez - 2008 - Proceedings of the Xxii World Congress of Philosophy 39:137-141.
Iterated Local Reflection Versus Iterated Consistency.Lev Beklemishev - 1995 - Annals of Pure and Applied Logic 75 (1-2):25-48.
Iterated Modalities, Meaning and A Priori Knowledge.Dominic Gregory - 2011 - Philosophers' Imprint 11.
On the Epistemic Foundation for Iterated Weak Dominance: An Analysis in a Logic of Individual and Collective Attitudes.Emiliano Lorini - 2013 - Journal of Philosophical Logic 42 (6):863-904.