Abstract
This paper is a short survey of different languageswith imperfect information introduced in (Hintikka and Sandu 1989).The imperfect information concerns both quantifiers and connectives.At the end, I will sketch a connection between these languages and linearlogic.
Similar content being viewed by others
REFERENCES
Blass, A: 1992, ‘A Game Semantics for Linear Logic’, Annals of Pure and Applied Logics 56, 183-220.
Caicedo, A. and M. Krynicki: 1999, ‘Quantifiers for Reasoning with Imperfect Information and Σ 11 -Logic’, Contemporary Mathematics 235, 1731.
Henkin, L.: 1961, ‘Some Remarks on Infinitary Long Formulas’, Infinitistic Methods, Pergamon Press, Oxford, Warsaw, pp. 167-183.
Hintikka, J.: 1996, The Principles of Mathematics Revisited, Cambridge University Press, Cambridge.
Hintikka, J. and G. Sandu: 1989, ‘Informational Independence as a Semantical Phenomenon’, in J. E. Fenstad et al. (eds), Logic, Methodology and Philosophy of Science, Vol. VIII, Elsevier, pp. 571-589.
Hintikka, J. and G. Sandu: 1997, ‘Game-Theoretical Semantics’, in J. van Benthem and A. ter Meulen (eds), Handbook of Logic and Language, Elsevier Science B.V., Amsterdam, pp. 361-410.
Hodges, W.: 1997a, ‘Compositional Semantics for a Language of Imperfect Information’, Journal of the IPGL 5, 539-563.
Hodges, W.: 1997b, ‘Some Strange Quantifiers’, in J. Mycielski et al. (eds), Structures in Logic and Computer Science, Springer, Berlin, pp. 51-65.
Tennant, N.: 1998, ‘Games Some People Would Have None of Us Play’, Philosophia Mathematica 3, 90-115.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Sandu, G. Signalling In Languages With Imperfect Information. Synthese 127, 21–34 (2001). https://doi.org/10.1023/A:1010362218565
Issue Date:
DOI: https://doi.org/10.1023/A:1010362218565