A remark on nondeterminacy in IF logic

Acta Philosophica Fennica 78:71-77 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

  • This entry has no external links. Add one.
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

Jouko Väänänen, A hierarchy theorem for Lindstrom quantifiers, Logic and abstraction, Essays dedicated to Per Lindström on his fiftieth birthday, edited by Mats Furberg, Thomas Wetterström, and Claes Åberg, Acta philosophica Gothoburgensia, no. 1, Acta Universitatis Gothobargensis, Göteborg1986, pp. 317–323. [REVIEW]Juha Oikkonen - 1989 - Journal of Symbolic Logic 54 (2):631-631.
Remark on spectrums of formulas with Henkin quantifiers.Tapani Hyttinen - 2006 - Acta Philosophica Fennica 78:79.
Dependence logic: A new approach to independence friendly logic – by Jouko Väänänen.Gabriel Sandu - 2009 - Theoria 75 (1):52-64.
Review: Phokion G. Kolaitis, Jouko A. Vaananen, Generalized Quantifiers and Pebble Games on Finite Structures. [REVIEW]I. A. Stewart - 1996 - Journal of Symbolic Logic 61 (4):1387-1388.
A Radio Interview with Jouko Väänänen.Andrés Villaveces, Roman Kossak, Juha Kontinen & Åsa Hirvonen - 2015 - In Åsa Hirvonen, Juha Kontinen, Roman Kossak & Andrés Villaveces (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Boston: De Gruyter. pp. 417-422.
On the logic of memory.Tuomo Aho & Ilkka Niiniluoto - 1990 - Acta Philosophica Fennica 49:408-429.
Learning and Epistemic Logic.Veikko Rantala - 2006 - Acta Philosophica Fennica 78:139.
Review: Jouko Vaananen, A Hierarchy Theorem for Lindstrom Quantifiers. [REVIEW]Juha Oikkonen - 1989 - Journal of Symbolic Logic 54 (2):631-631.
The logic of Euclidean construction procedures.P. Mäenpää & Jan von Plato - 1990 - Acta Philosophica Fennica 39:275-293.
Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.

Analytics

Added to PP
2013-10-28

Downloads
13 (#288,494)

6 months
13 (#1,035,185)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jouko A Vaananen
University of Helsinki

Citations of this work

In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Dordrecht, Netherland: Springer Verlag. pp. 249--350.
Independence friendly logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references