Signalling in IF-games : a tricky business

T.M.V. Janssen, F. Dechesne

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

11 Citations (Scopus)

Abstract

The paper studies the phenomenon of signalling in logics for imperfect information, such as Hintikka’s IF logic. It is shown that signalling is a phenomenon that at the one hand is essential for the semantics, but at the other hand is a source of tricky phenomena. Several properties which in the literature are claimed to hold for such logics, turn out to fail due to signalling: IF logic is not a conservative extension of predicate logic, renaming of variables is not always allowed, the prenex normal form theorem does not hold, and slashed connectives cannot easily be eliminated.
Original languageEnglish
Title of host publicationThe Age of Alternative Logics : Assessing the Philosophy of Logic and Mathematics Today
EditorsJ.F.A.K. Benthem, van, G. Heinzmann, M. Rebuschi, H. Visser
Place of PublicationDordrecht
PublisherKluwer
Pages221-241
ISBN (Print)978-1-4020-5011-4
DOIs
Publication statusPublished - 2006

Publication series

NameLogic, Epistemology, and the Unity of Science
Volume3
ISSN (Print)2214-9775

Fingerprint

Dive into the research topics of 'Signalling in IF-games : a tricky business'. Together they form a unique fingerprint.

Cite this