On the iterated ω-rule

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):203-208 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19920380116

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the iterated ω‐rule.Grzegorz Michalski - 1992 - Mathematical Logic Quarterly 38 (1):203-208.
Re-examining the law of iterated expectations for Choquet decision makers.Alexander Zimper - 2011 - Theory and Decision 71 (4):669-677.
Induction rules, reflection principles, and provably recursive functions.Lev D. Beklemishev - 1997 - Annals of Pure and Applied Logic 85 (3):193-242.
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.
Iterated reflection principles and the ω-rule.Ulf R. Schmerl - 1982 - Journal of Symbolic Logic 47 (4):721-733.
The Measurement of Ranks and the Laws of Iterated Contraction.Wolfgang Spohn & Matthias Hild - 2008 - Artificial Intelligence 172 (10):1195-1218.
A Rationalization of Cooperation in the Iterated Prisoner's Dilemma.Wolfgang Spohn - unknown
Three Approaches to Iterated Belief Contraction.Raghav Ramachandran, Abhaya C. Nayak & Mehmet A. Orgun - 2012 - Journal of Philosophical Logic 41 (1):115-142.
Iterated Contraction Based on Indistinguishability.Konstantinos Georgatos - 2013 - In Sergei Artemov & Anil Nerode (eds.), LFCS 2013. Springer. pp. 194–205.
Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis.S. Feferman & G. Jäger - 1983 - Journal of Symbolic Logic 48 (1):63-70.
Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive $\omega$ -Rule.Zlatan Damnjanovic - 1998 - Notre Dame Journal of Formal Logic 39 (3):363-388.
Thomas' theorem meets Bayes' rule: a model of the iterated learning of language.Vanessa Ferdinand & Willem Zuidema - 2009 - In N. A. Taatgen & H. van Rijn (eds.), Proceedings of the 31st Annual Conference of the Cognitive Science Society. pp. 1786--1791.
On the nature of Sommers' rule.George Englebretsen - 1971 - Mind 80 (320):608-611.
Language Evolution by Iterated Learning With Bayesian Agents.Thomas L. Griffiths & Michael L. Kalish - 2007 - Cognitive Science 31 (3):441-480.

Analytics

Added to PP
2016-02-04

Downloads
28 (#555,203)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of Mathematical Logic. North-Holland. pp. 821 -- 865.

Add more references